Login / Signup
An Approach to Correctness Proofs of Programs.
Dieter Bär
Published in:
J. Inf. Process. Cybern. (1975)
Keyphrases
</>
computer programs
provably correct
data sets
theorem proving
formal proofs
decision procedures
mathematical proofs
multi agent systems
logic programming