Jacob Frost

According to our database¹, Jacob Frost authored at least 4 papers between 1997 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

An Ada95 Solution for Certification of Embedded Safety Critical Applications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1999

1998

Supporting Proof in VDM-SL using Isabelle.

[BibT_eX]

[DOI]

Proceedings of the Proof in VDM: Case Studies, 1998

1997

An Isabelle-Based Theorem Prover for VDM-SL.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.

[BibT_eX]

[DOI]

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997