Progressive program reasoning

Ph.D

Saved in:

Bibliographic Details
Main Author:	RAZVAN VOICU
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	program verification semantics liveness assertions logic
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/14856
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-14856
record_format	dspace
spelling	sg-nus-scholar.10635-148562017-10-21T05:54:20Z Progressive program reasoning RAZVAN VOICU COMPUTER SCIENCE JAFFAR, JOXAN program verification semantics liveness assertions logic Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:47:32Z 2010-04-08T10:47:32Z 2005-05-30 Thesis RAZVAN VOICU (2005-05-30). Progressive program reasoning. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/14856 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	program verification semantics liveness assertions logic
spellingShingle	program verification semantics liveness assertions logic RAZVAN VOICU Progressive program reasoning
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE RAZVAN VOICU
format	Theses and Dissertations
author	RAZVAN VOICU
author_sort	RAZVAN VOICU
title	Progressive program reasoning
title_short	Progressive program reasoning
title_full	Progressive program reasoning
title_fullStr	Progressive program reasoning
title_full_unstemmed	Progressive program reasoning
title_sort	progressive program reasoning
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/14856
_version_	1681079097126551552

Similar Items