A Tactic Language for Ergo (1997)

View PDF

Download Links

by Andrew Martin , Andrew Martin , Ray Nickson , Ray Nickson , Mark Utting , Mark Utting
Venue:Formal Methods Pacific ’97
Citations:6 - 4 self