A Tactic Language for Ergo (1997)

Cached

Download Links

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