Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http://www.ovmj.net/oscj/ S3 Lab, Purdue University oSCJ Open Safety-Critical Java…
Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http://www.ovmj.net/oscj/ S3 Lab, Purdue University oSCJ Open Safety-Critical Java…