- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 3 |      | 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] |