Sign in

Verification of Java Programs with Generics.

Kurt StenzelHolger GrandyWolfgang Reif
Published in: AMAST (2008)
Keyphrases
  • java programs
  • multi threaded
  • java language
  • software components
  • test case generation
  • test suite
  • java virtual machine
  • cooperative
  • artificial intelligence
  • operating system
  • fine grained