hide
Title:
12th International Workshop on Satisfiablity Modulo Theories
Abbreviation
:
SMT 2014
Subtitle
:
Vienna, Austria, July 17-18, 2014 ; Affliated with 26th Int'l. Conf. on Computer Aided Verifcation (CAV 2014), 7th Int'l Joint Conf. on Automated Reasoning (IJCAR 2014), and
17th Int'l Conf. on Theory and Applications of Satisfability Testing (SAT 2014).
Source Genre:
Proceedings
Creator(s):
Rümmer, Philipp1, Editor
Wintersteiger, Christoph M.1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
Aachen : CEUR-WS.org
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
69 - 69
Identifier:
URN: urn:nbn:de:0074-1163-4