Login / Signup
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).
David Gries
Published in:
ICSE (1976)
Keyphrases
</>
computer programs
provably correct
artificial intelligence
computer vision
database systems
query language
answer sets