Login / Signup

The Ravenscar profile for high-integrity Java programs?

Brian Dobbing
Published in: IRTAW (2000)
Keyphrases
  • java programs
  • multi threaded
  • genetic programming
  • java language
  • cooperative
  • object oriented
  • test suite