External Links

    Journal: Formal Methods in System Design

    Volume 3, Issue 1/2

    7 -- 24Thomas F. Melham. The HOL Logic Extended with Quantification over Type Variables
    25 -- 47Richard J. Boulton. Lazy Techniques for Fully Expansive Theorem Proving
    49 -- 81Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka. Mechanizing Some Advanced Refinement Concepts
    83 -- 115Paul Curzon. Deriving Correctness Properties of Compiled Code
    117 -- 149Paul Loewenstein. A Formal Theory of Simulations between Infinite Automata
    151 -- 174Roger Hale, Rachel Cardell-Oliver, John Herbert. An Embedding of Timed Transition Systems in HOL
    runs on