Expressive program verification via structured specifications

10.1007/s10009-014-0306-5

Saved in:

Bibliographic Details
Main Authors:	Gherghina, C., David, C., Qin, S., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2016
Subjects:	Case analysis Separation logic Structured specifications
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/123998
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-123998
record_format	dspace
spelling	sg-nus-scholar.10635-1239982023-10-25T22:40:05Z Expressive program verification via structured specifications Gherghina, C. David, C. Qin, S. Chin, W.-N. COMPUTER SCIENCE Case analysis Separation logic Structured specifications 10.1007/s10009-014-0306-5 International Journal on Software Tools for Technology Transfer 2016-05-17T10:45:11Z 2016-05-17T10:45:11Z 2014-03-28 Article Gherghina, C., David, C., Qin, S., Chin, W.-N. (2014-03-28). Expressive program verification via structured specifications. International Journal on Software Tools for Technology Transfer. ScholarBank@NUS Repository. https://doi.org/10.1007/s10009-014-0306-5 14332779 http://scholarbank.nus.edu.sg/handle/10635/123998 000209673200003 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Case analysis Separation logic Structured specifications
spellingShingle	Case analysis Separation logic Structured specifications Gherghina, C. David, C. Qin, S. Chin, W.-N. Expressive program verification via structured specifications
description	10.1007/s10009-014-0306-5
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Gherghina, C. David, C. Qin, S. Chin, W.-N.
format	Article
author	Gherghina, C. David, C. Qin, S. Chin, W.-N.
author_sort	Gherghina, C.
title	Expressive program verification via structured specifications
title_short	Expressive program verification via structured specifications
title_full	Expressive program verification via structured specifications
title_fullStr	Expressive program verification via structured specifications
title_full_unstemmed	Expressive program verification via structured specifications
title_sort	expressive program verification via structured specifications
publishDate	2016
url	http://scholarbank.nus.edu.sg/handle/10635/123998
_version_	1781789832640462848

Expressive program verification via structured specifications

Similar Items