Sign in

JASMine: Accessing Java Code from CoreASM.

Vincenzo GervasiRoozbeh Farahbod
Published in: Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases
  • java code
  • source code
  • development tools
  • byte code
  • development environment
  • real world
  • data mining