| |
| 1999 | ||
|---|---|---|
| 3 | EE | Jacob Frost: An Ada95 Solution for Certification of Embedded Safety Critical Applications. Ada-Europe 1999: 52-63 |
| 1997 | ||
| 2 | Sten Agerholm, Jacob Frost: Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. FME 1997: 278-297 | |
| 1 | Sten Agerholm, Jacob Frost: An Isabelle-Based Theorem Prover for VDM-SL. TPHOLs 1997: 1-16 | |
| 1 | Sten Agerholm | [1] [2] |