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.
Plus en détailPeople in this project use the Krakatoa Modeling Language (KML). It is a specication language for Java programs.
Plus en détail