Automated specification discovery via user-defined predicates

10.1007/978-3-642-41202-8_26

Saved in:

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

id	sg-nus-scholar.10635-78032
record_format	dspace
spelling	sg-nus-scholar.10635-780322015-01-05T18:49:06Z Automated specification discovery via user-defined predicates He, G. Qin, S. Chin, W.-N. Craciun, F. COMPUTER SCIENCE 10.1007/978-3-642-41202-8_26 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS 397-414 2014-07-04T03:11:38Z 2014-07-04T03:11:38Z 2013 Conference Paper He, G.,Qin, S.,Chin, W.-N.,Craciun, F. (2013). Automated specification discovery via user-defined predicates. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS : 397-414. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-41202-8_26" target="_blank">https://doi.org/10.1007/978-3-642-41202-8_26</a> 9783642412011 03029743 http://scholarbank.nus.edu.sg/handle/10635/78032 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-642-41202-8_26
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE He, G. Qin, S. Chin, W.-N. Craciun, F.
format	Conference or Workshop Item
author	He, G. Qin, S. Chin, W.-N. Craciun, F.
spellingShingle	He, G. Qin, S. Chin, W.-N. Craciun, F. Automated specification discovery via user-defined predicates
author_sort	He, G.
title	Automated specification discovery via user-defined predicates
title_short	Automated specification discovery via user-defined predicates
title_full	Automated specification discovery via user-defined predicates
title_fullStr	Automated specification discovery via user-defined predicates
title_full_unstemmed	Automated specification discovery via user-defined predicates
title_sort	automated specification discovery via user-defined predicates
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78032
_version_	1681088568435408896

Automated specification discovery via user-defined predicates

Similar Items