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] |