Specifying multithreaded Java semantics for program verification release_l5kc477hmndznjdrkx3n3tujfa

by Abhik Roychoudhury, Tulika Mitra

Published in International Conference on Software Engineering by ACM Press.

2002   p489-499

Archived Files and Locations

application/pdf  130.8 kB
file_pprjsazwnnf4blfyobsmba6yri
www.comp.nus.edu.sg (web)
web.archive.org (webarchive)
application/pdf  203.0 kB
file_5j43mzssejcatdjrpzeu34txfe
web.archive.org (webarchive)
www.comp.nus.edu.sg (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.comp.nus.edu.sg (web)
+ 3 more URLs
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2002
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c2b9d53a-f845-47df-a8a8-d181100e3755
API URL: JSON