Implementing a Deduction System for a Guarded Commands Procedural Language using a Generic Theorem Prover

Authors

Subject

Automated theorem proving

Conference

11th ISAI, January 1995