Propagation of JML non-null annotations in Java programs

There is no fulltext present in this item.

Title:	Propagation of JML non-null annotations in Java programs
Author(s):	Cielecki, Maciej; Fulara, Jkedrzej; Jakubczyk, Krzysztof; Jancewicz, Lukasz; Chrzkaszcz, Jacek; Kaminski, Lukasz; Schubert, Aleksy
Publication year:	2006
In:	Gitzel, Ralf; Aleksy, Markus; Schader, Martin (ed.), Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java (Mannheim, Germany, August 30 - September 01, 2006). PPPJ'06, pp. 135-140
Publisher:	Cambridge, Mass. : ACM Press
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/35482
Display more details
Editor(s):	Gitzel, Ralf; Aleksy, Markus; Schader, Martin; Krintz, Chandra
Subject:	Security of Systems
Organization:	Security of Systems
Book title:	Gitzel, Ralf; Aleksy, Markus; Schader, Martin (ed.), Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java (Mannheim, Germany, August 30 - September 01, 2006). PPPJ'06
Page start:	p. 135
Page end:	p. 140