Moving Proofs-as-Programs into Practice (1997)

by J Caldwell
Venue:In Proc. of ASE’97