Fulltext present in this item

Thumbnail
Fulltext: 130368.pdf
Format: PDF
Description: preprint version
Embargo: until further notice
Title: The loop Compiler for Java and JML
Author(s): Berg, J. van den; Jacobs, B.P.F.
Publication year: 2001
In: Margaria, T.; Yi, W. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, pp. 299-312
Publisher: Berlin : Springer
ISBN: 9783540418658
Series: Lecture Notes in Computer Science ; 2031
DOI: http://dx.doi.org/10.1007/3-540-45319-9_21
Publication type: Part of book or chapter of book

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

Display more details
Editor(s): Margaria, T.; Yi, W.
Subject: Digital Security
Organization: Security of Systems
Digital Security
Book title: Margaria, T.; Yi, W. (ed.), Tools and Algorithms for the Construction and Analysis of Systems
Page start: p. 299
Page end: p. 312

This item appears in the following Collection(s)

Browse

Statistics