Specifications, Algorithms, Axiomatisations and Proofs Commented Case Studies (1995)

by Gérard Huet
Venue:In the Coq Proof Assistant”, Summer School on Logic of Computation
Citations:1 - 0 self