Refinement Algebra for Formal Bytecode Generation.

Adolfo Duran Ana Cavalcanti Augusto Sampaio

Published in: ICFEM (2002)

Keyphrases

smart card
real time
source code
formal model
formal specification
generation process
query language
virtual machine
refinement process
java virtual machine