BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
Collaborated with:
P.G.Larsen J.Frost
Talks about:
lightweight (2) method (2) formal (2) tool (2) vdm (2) approach (1) theorem (1) toward (1) integr (1) prove (1)

Person: Sten Agerholm

DBLP DBLP: Agerholm:Sten

Contributed to:

FM-Trends 19981998
FME 19971997

Wrote 3 papers:

FM-1998-AgerholmL #approach #formal method #lightweight
A Lightweight Approach to Formal Methods (SA, PGL), pp. 168–183.
FM-1998-AgerholmL98a #formal method #lightweight #tool support
The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.
FME-1997-AgerholmF #automation #proving #theorem proving #towards
Towards an Integrated CASE and Theorem Proving Tool for VDM-SL (SA, JF), pp. 278–297.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.