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: Agerholm:Sten
Contributed to:
19981997Wrote 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.