dblp.uni-trier.dewww.uni-trier.de

Sten Agerholm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
12EESten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert: Formal specification and validation at work: a case study using VDM-SL. FMSP 1998: 78-84
11EEJuan 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

Coauthor Index

1Ilya Beylin [7]
2Juan Bicarregui [11]
3Peter Dybjer [7]
4Jacob Frost [9] [10]
5Michael J. C. Gordon [5]
6Peter Gorm Larsen [13] [14]
7Pierre-Jean Lecoeur [12]
8Brian Matthews [11]
9Etienne Reichert [12]
10Brian Ritchie [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)