1998 |
14 | | Sten Agerholm,
Peter Gorm Larsen:
A Lightweight Approach to Formal Methods.
FM-Trends 1998: 168-183 |
13 | | Sten Agerholm,
Peter Gorm Larsen:
The IFAD VDM Tools: Lightweight Formal Methods.
FM-Trends 1998: 326-329 |
12 | EE | Sten Agerholm,
Pierre-Jean Lecoeur,
Etienne Reichert:
Formal specification and validation at work: a case study using VDM-SL.
FMSP 1998: 78-84 |
11 | EE | Juan Bicarregui,
Brian Matthews,
Brian Ritchie,
Sten Agerholm:
Investigating the Integration of two Formal Methods.
Formal Asp. Comput. 10(5-6): 532-549 (1998) |
1997 |
10 | | Sten Agerholm,
Jacob Frost:
Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.
FME 1997: 278-297 |
9 | | Sten Agerholm,
Jacob Frost:
An Isabelle-Based Theorem Prover for VDM-SL.
TPHOLs 1997: 1-16 |
1996 |
8 | | Sten Agerholm:
Translating Specifications in VDM-SL to PVS.
TPHOLs 1996: 1-16 |
7 | | Sten Agerholm,
Ilya Beylin,
Peter Dybjer:
A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem.
TPHOLs 1996: 17-32 |
1995 |
6 | | Sten Agerholm:
Non-primitive Recursive Function Definitions.
TPHOLs 1995: 17-31 |
5 | | Sten Agerholm,
Michael J. C. Gordon:
Experiments with ZF Set Theory in HOL and Isabelle.
TPHOLs 1995: 32-45 |
4 | | Sten Agerholm:
LCF Examples in HOL.
Comput. J. 38(2): 121-130 (1995) |
1994 |
3 | | Sten Agerholm:
LCF Examples in HOL.
TPHOLs 1994: 1-16 |
1993 |
2 | | Sten Agerholm:
Domain Theory in HOL.
HUG 1993: 295-309 |
1991 |
1 | | Sten Agerholm:
Mechanizing Program Verification in HOL.
TPHOLs 1991: 208-222 |