Developing certified programs in the system Coq -- The Program tactic (1993)

by C. Parent
Citations:12 - 4 self

Document Versions

Developing certified programs in the system Coq -- The Program tactic –C. Parent — 1993
Developing certified programs in the system Coq -- The Program tactic –C. Parent — 1993 — TYPES FOR PROOFS AND PROGRAMS, VOLUME 806 OF LNCS