Jeffrey J. Joyce

RE, pp.251-261, (2018)

MiSE, pp.45-50, (2008)

Taking the hol out of HOL, (2000)

ICRE, pp.39-39, (2000)

Theorem Proving in Higher Order Logics, pp.341-358, (1999)

A discipline of specification-based test derivation, (1998)

FORTE, pp.417-432, (1997)

Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specific..., (1997)

TPHOLs, pp.285-299, (1994)

HUG, (1994)

HUG, pp.185-198, (1993)

CASCON, pp.128-137, (1993)

HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its ..., (1993)

HUG, pp.338-351, (1993)

HUG, pp.489-500, (1993)

HUG, pp.253-266, (1993)

DAC, pp.469-474, (1993)

TPHOLs, (1992)