| 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 |
