Login / Signup

Verifying General Safety Properties of Ada Tasking Programs.

Laura K. Dillon
Published in: IEEE Trans. Software Eng. (1990)
Keyphrases
  • special case
  • genetic algorithm
  • multiscale
  • databases
  • data structure