8. TPHOLs 1995:
Aspen Grove, UT, USA
Sten Agerholm:
Non-primitive Recursive Function Definitions.
17-31
Holger Busch:
A Practical Method for Reasoning about Distributed Systems in a Theorem Prover.
106-121
John Harrison:
Inductive Definitions: Automation and Application.
200-213
Paul Loewenstein:
Formal Verification of Counterflow Pipeline Architecture.
261-276
Don Syme:
A New Interface for HOL - Ideas, Issues and Implementation.
324-339
Wai Wong:
Recording and Checking HOL Proofs.
353-368
data released under the ODC-BY 1.0 license
