Unbounded symbolic execution for program verification

10.1007/978-3-642-29860-8_32

Saved in:

Bibliographic Details
Main Authors:	Jaffar, J., Navas, J.A., Santosa, A.E.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41106
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41106
record_format	dspace
spelling	sg-nus-scholar.10635-411062015-01-06T07:23:13Z Unbounded symbolic execution for program verification Jaffar, J. Navas, J.A. Santosa, A.E. COMPUTER SCIENCE 10.1007/978-3-642-29860-8_32 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7186 LNCS 396-411 2013-07-04T08:19:45Z 2013-07-04T08:19:45Z 2012 Conference Paper Jaffar, J.,Navas, J.A.,Santosa, A.E. (2012). Unbounded symbolic execution for program verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7186 LNCS : 396-411. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-29860-8_32" target="_blank">https://doi.org/10.1007/978-3-642-29860-8_32</a> 9783642298592 03029743 http://scholarbank.nus.edu.sg/handle/10635/41106 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-642-29860-8_32
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Jaffar, J. Navas, J.A. Santosa, A.E.
format	Conference or Workshop Item
author	Jaffar, J. Navas, J.A. Santosa, A.E.
spellingShingle	Jaffar, J. Navas, J.A. Santosa, A.E. Unbounded symbolic execution for program verification
author_sort	Jaffar, J.
title	Unbounded symbolic execution for program verification
title_short	Unbounded symbolic execution for program verification
title_full	Unbounded symbolic execution for program verification
title_fullStr	Unbounded symbolic execution for program verification
title_full_unstemmed	Unbounded symbolic execution for program verification
title_sort	unbounded symbolic execution for program verification
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41106
_version_	1681082382999879680

Unbounded symbolic execution for program verification

Similar Items