Login / Signup

A Tool for Automated Certification of Java Source Code in Maude.

Mauricio Alba-CastroMaría AlpuenteSantiago EscobarPedro OjedaDaniel Romero
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • software tools
  • third party
  • data sets
  • fully automated
  • semi automated
  • real time
  • real world
  • data driven
  • computer assisted
  • formal specification