
Search the dblp DataBase
Sten Agerholm:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Sten Agerholm, Jacob Frost
Towards an Integrated CASE and Theorem Proving Tool for VDMSL. [Citation Graph (0, 0)][DBLP] FME, 1997, pp:278297 [Conf]
 Sten Agerholm, Peter Gorm Larsen
A Lightweight Approach to Formal Methods. [Citation Graph (0, 0)][DBLP] FMTrends, 1998, pp:168183 [Conf]
 Sten Agerholm, Peter Gorm Larsen
The IFAD VDM Tools: Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP] FMTrends, 1998, pp:326329 [Conf]
 Sten Agerholm, PierreJean Lecoeur, Etienne Reichert
Formal specification and validation at work: a case study using VDMSL. [Citation Graph (0, 0)][DBLP] FMSP, 1998, pp:7884 [Conf]
 Sten Agerholm
Mechanizing Program Verification in HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1991, pp:208222 [Conf]
 Sten Agerholm
Domain Theory in HOL. [Citation Graph (0, 0)][DBLP] HUG, 1993, pp:295309 [Conf]
 Sten Agerholm
LCF Examples in HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1994, pp:116 [Conf]
 Sten Agerholm
Nonprimitive Recursive Function Definitions. [Citation Graph (0, 0)][DBLP] TPHOLs, 1995, pp:1731 [Conf]
 Sten Agerholm
Translating Specifications in VDMSL to PVS. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:116 [Conf]
 Sten Agerholm, Ilya Beylin, Peter Dybjer
A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:1732 [Conf]
 Sten Agerholm, Jacob Frost
An IsabelleBased Theorem Prover for VDMSL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1997, pp:116 [Conf]
 Sten Agerholm, Michael J. C. Gordon
Experiments with ZF Set Theory in HOL and Isabelle. [Citation Graph (0, 0)][DBLP] TPHOLs, 1995, pp:3245 [Conf]
 Sten Agerholm
LCF Examples in HOL. [Citation Graph (0, 0)][DBLP] Comput. J., 1995, v:38, n:2, pp:121130 [Journal]
 Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm
Investigating the Integration of two Formal Methods. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1998, v:10, n:56, pp:532549 [Journal]
Search in 0.002secs, Finished in 0.003secs
