Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Symbolic Execution as DPLL Modulo Theories
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Symbolic Execution as DPLL Modulo Theories
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Symbolic Execution as DPLL Modulo Theories
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Symbolic Execution as DPLL Modulo Theories
View/
Open
Published version (646.2Kb)
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
Electronic Engineering and Computer Science
[2674]