Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http: www.ovmj.net oscj - Critical Software - Document - PDFSEARCH.IO

First Page	Meta Content
	Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http://www.ovmj.net/oscj/ Add to Reading List Document Date: 2010-08-17 13:00:02 Open Document File Size: 128,05 KB Share Result on Facebook

Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http://www.ovmj.net/oscj/Add to Reading List