A logic for the Java modeling language JML

Files in This Item:

File	Description	Size	Format
		250.46 kB	Adobe PDF	View/Open

Title:	A logic for the Java modeling language JML
Author(s):	Jacobs, B.P.F. (073592471) Poll, E. (089896793)
Publication year:	2000
Document type:	Internal report
Publisher:	[S.l. : s.n.]
Number of pages:	17 p.
Appears in Collections:	Electronic documents Radboud University

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