A proposal for publication and exchange of program proofs.

Susan L. Gerhart

Published in: ACM SIGSOFT Softw. Eng. Notes (1978)

Keyphrases

computer programs
digital libraries
real world
information retrieval
genetic algorithm
image segmentation
database systems
operating system
theorem proving
programming course
share information
natural deduction
formal proofs