Ω-MKRP: A Proof Development Environment (1994)

by Xiaorong Huang , Manfred Kerber , Michael Kohlhase , Erica Melis , Dan Nesmith , Jörn Richts , Jörg Siekmann
Venue:PROCEEDINGS OF THE 12TH CADE
Citations:1 - 0 self