Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

Files in This Item:

File	Description	Size	Format
	author's version	192.97 kB	Adobe PDF	View/Open

Title:	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Author(s):	Chalin, P. Kiniry, J.R. (248235338) Leavens, G.T. Poll, E. (089896793)
Publication year:	2006
Document type:	Commission report or memorandum
Related link(s):	http://www.springerlink.com/content/v5125m8010411665
Subject:	Security of Systems
Organization:	Security of Systems
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/36070