Proving Theorems About Java-Like Byte Code.

J Strother Moore

Published in: Correct System Design (1999)

Keyphrases

byte code
java card
java virtual machine
virtual machine
android application
wireless sensor networks
data processing
smart card
java code