Proceedings of the Workshop on Verification and Analysis of Multi-threaded Java-like Programs

Fulltext present in this item

Fulltext: 36359.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Proceedings of the Workshop on Verification and Analysis of Multi-threaded Java-like Programs
Author(s):	Haack, C. ; Huisman, M.; Kiniry, J.; Poll, E.
Publication year:	2007
Publisher:	Lisbon, Portugal : Radboud University Nijmegen
Number of Pages:	101 p.
Series:	Technical report ; ICIS-R07021
Annotation:	as a satelite workshop at CONCUR 2007
Publication type:	Book editorial
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/36359
Display more details
Subject:	Security of Systems
Organization:	Security of Systems

Faculty of Science [28950]
Electronic publications [87381]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [187718]
Academic output Radboud University