From verification to specification inference

10.1109/TASE.2012.40

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., David, C.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	separation logic specification inference structured specifications verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39895
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39895
record_format	dspace
spelling	sg-nus-scholar.10635-398952015-01-21T17:51:46Z From verification to specification inference Chin, W.-N. David, C. COMPUTER SCIENCE separation logic specification inference structured specifications verification 10.1109/TASE.2012.40 Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 5-6 2013-07-04T07:52:03Z 2013-07-04T07:52:03Z 2012 Conference Paper Chin, W.-N.,David, C. (2012). From verification to specification inference. Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 : 5-6. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/TASE.2012.40" target="_blank">https://doi.org/10.1109/TASE.2012.40</a> 9780769547510 http://scholarbank.nus.edu.sg/handle/10635/39895 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	separation logic specification inference structured specifications verification
spellingShingle	separation logic specification inference structured specifications verification Chin, W.-N. David, C. From verification to specification inference
description	10.1109/TASE.2012.40
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. David, C.
format	Conference or Workshop Item
author	Chin, W.-N. David, C.
author_sort	Chin, W.-N.
title	From verification to specification inference
title_short	From verification to specification inference
title_full	From verification to specification inference
title_fullStr	From verification to specification inference
title_full_unstemmed	From verification to specification inference
title_sort	from verification to specification inference
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39895
_version_	1681082174300749824

From verification to specification inference

Similar Items