Login / Signup

Translating event-B to JML-specified Java programs.

Víctor RiveraNé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