Login / Signup
Translating event-B to JML-specified Java programs.
Víctor Rivera
Néstor Cataño
Published in:
SAC (2014)
Keyphrases
</>
java programs
multi threaded
software components
java language
java virtual machine
cooperative
test suite
test case generation
supply chain