Ω-MKRP - A Proof Development Environment (1994)

by Xiaorong Huang , Xiaorong Huang , Manfred Kerber , Manfred Kerber , Michael Kohlhase , Michael Kohlhase , Erica Melis , Erica Melis , Dan Nesmith , Dan Nesmith , Jörn Richts , Jorn Richts , Jörg Siekmann , Jorg Siekmann
Venue:Proceedings of the 12th CADE, p. 788--792
Citations:12 - 8 self