Java bytecode verification and its applications
Documents pareils
Specifying and Proving a Sorting Algorithm
People in this project use the Krakatoa Modeling Language (KML). It
is a specication language for Java programs.
People in this project use the Krakatoa Modeling Language (KML). It
is a specication language for Java programs.