Specifying multithreaded Java semantics for program verification

Proceedings - International Conference on Software Engineering

Saved in:

Bibliographic Details
Main Authors:	Roychoudhury, A., Mitra, T.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41610
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41610
record_format	dspace
spelling	sg-nus-scholar.10635-416102023-07-18T00:57:55Z Specifying multithreaded Java semantics for program verification Roychoudhury, A. Mitra, T. COMPUTER SCIENCE Proceedings - International Conference on Software Engineering 489-499 PCSED 2013-07-04T08:31:33Z 2013-07-04T08:31:33Z 2002 Conference Paper Roychoudhury, A., Mitra, T. (2002). Specifying multithreaded Java semantics for program verification. Proceedings - International Conference on Software Engineering : 489-499. ScholarBank@NUS Repository. 02705257 http://scholarbank.nus.edu.sg/handle/10635/41610 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	Proceedings - International Conference on Software Engineering
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Roychoudhury, A. Mitra, T.
format	Conference or Workshop Item
author	Roychoudhury, A. Mitra, T.
spellingShingle	Roychoudhury, A. Mitra, T. Specifying multithreaded Java semantics for program verification
author_sort	Roychoudhury, A.
title	Specifying multithreaded Java semantics for program verification
title_short	Specifying multithreaded Java semantics for program verification
title_full	Specifying multithreaded Java semantics for program verification
title_fullStr	Specifying multithreaded Java semantics for program verification
title_full_unstemmed	Specifying multithreaded Java semantics for program verification
title_sort	specifying multithreaded java semantics for program verification
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41610
_version_	1772815392932102144

Specifying multithreaded Java semantics for program verification

Similar Items