Validation of HOL proofs by proof checking (1999)

by W Wong
Venue:Formal Methods in System Design: An International Journal 14