Login / Signup

Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs".

David Gries
Published in: IEEE Trans. Software Eng. (1977)
Keyphrases
  • database
  • provably correct
  • real time
  • neural network
  • answer sets
  • theorem prover