Symbolic Execution as DPLL Modulo Theories

View/Open
Volume
43
Pagination
58 - 65
Publisher
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Publisher URL
http://drops.dagstuhl.de/opus/volltexte/2014/4774
ISBN-13
978-3-939897-76-7
DOI
10.4230/OASIcs.ICCSW.2014.58
ISSN
2190-6807
Metadata
Show full item record
Authors
Phan, Q-S
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/6745
Collections