Développement formel d'un vérifieur embarqué de byte-code Java.

Lilian Burdy Ludovic Casset Antoine Requet

Published in: Tech. Sci. Informatiques (2003)

Keyphrases

byte code
java card
java virtual machine
virtual machine
smart card
open source
control flow
java code
android application