Login / Signup
How to Formally Specify the Java Bytecode Semantivs Using the B Method.
Ludovic Casset
Jean-Louis Lanet
Published in:
ECOOP Workshops (1999)
Keyphrases
</>
information systems
computing environments
software engineering
space efficient