Login / Signup
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.
Claude Marché
Christine Paulin-Mohring
Xavier Urbain
Published in:
J. Log. Algebraic Methods Program. (2004)
Keyphrases
</>
java programs
programming language
object oriented languages
free software
object oriented
source code
web applications
lightweight
smart card
formal specification
development environment
search engine
relational databases
database applications
byte code