Login / Signup

Program Proving: Coroutines.

Maurice Clint
Published in: Acta Informatica (1973)
Keyphrases
  • real world
  • computer programs
  • preprocessing
  • program execution
  • databases
  • information systems