Window inference in isabelle (1995)

by Mark Staples
Venue:University of Cambridge Computer Laboratory
Citations:6 - 2 self