The HOL logic extended with quantification over type variables Thomas F. Melham OriginalPaper Pages: 7 - 24
Mechanizing some advanced refinement concepts J. Von WrightJ. HekanahoT. LĂ„ngbacka OriginalPaper Pages: 49 - 81
A formal theory of simulations between infinite automata Paul Loewenstein OriginalPaper Pages: 117 - 149
An embedding of Timed Transition Systems in HOL Roger HaleRachel Cardell-OliverJohn Herbert OriginalPaper Pages: 151 - 174