M.: A Brief Overview of HOL4 (2008)

by K Slind, Norrish
Venue:In: Theorem Proving in Higherorder Logics. Volume 5170 of LNCS