A Proof Tool for Reasoning about Functional Programs (1996)

Cached

Download Links

by Graham Collins
Venue:In Proc. 1996 International Workshop on Higher Order Logic Theorem Proving, Lecture Notes in Computer Science 1125
Citations:12 - 1 self