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

First Page		Document Content
Date: 2010-08-17 13:00:02 Computing Java Software engineering Computer programming Java annotation Final		Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http://www.ovmj.net/oscj/ Add to Reading List Source URL: d3s.mff.cuni.cz Download Document from Source Website File Size: 128,05 KB Share Document on Facebook