A Correctness Proof of an Indenting Program.

Prabhaker Mateti Joxan Jaffar

Published in: Softw. Pract. Exp. (1983)

Keyphrases

provably correct
computer programs
data sets
decision making
linear logic
case study
test cases
theorem prover
theorem proving
concurrent programs