Loop invariant synthesis in a combined domain

10.1007/978-3-642-16901-4_31

Saved in:

Bibliographic Details
Main Authors:	Qin, S., He, G., Luo, C., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41234
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41234
record_format	dspace
spelling	sg-nus-scholar.10635-412342015-01-10T17:58:50Z Loop invariant synthesis in a combined domain Qin, S. He, G. Luo, C. Chin, W.-N. COMPUTER SCIENCE 10.1007/978-3-642-16901-4_31 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6447 LNCS 468-484 2013-07-04T08:22:44Z 2013-07-04T08:22:44Z 2010 Conference Paper Qin, S.,He, G.,Luo, C.,Chin, W.-N. (2010). Loop invariant synthesis in a combined domain. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6447 LNCS : 468-484. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-16901-4_31" target="_blank">https://doi.org/10.1007/978-3-642-16901-4_31</a> 3642169007 03029743 http://scholarbank.nus.edu.sg/handle/10635/41234 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-642-16901-4_31
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Qin, S. He, G. Luo, C. Chin, W.-N.
format	Conference or Workshop Item
author	Qin, S. He, G. Luo, C. Chin, W.-N.
spellingShingle	Qin, S. He, G. Luo, C. Chin, W.-N. Loop invariant synthesis in a combined domain
author_sort	Qin, S.
title	Loop invariant synthesis in a combined domain
title_short	Loop invariant synthesis in a combined domain
title_full	Loop invariant synthesis in a combined domain
title_fullStr	Loop invariant synthesis in a combined domain
title_full_unstemmed	Loop invariant synthesis in a combined domain
title_sort	loop invariant synthesis in a combined domain
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41234
_version_	1681082405274779648

Loop invariant synthesis in a combined domain

Similar Items