Login / Signup
Jacob Frost
Publication Activity (10 Years)
Years Active: 1997-1999
Publications (10 Years): 0
</>
Publications
</>
Jacob Frost
An Ada95 Solution for Certification of Embedded Safety Critical Applications.
Ada-Europe
(1999)
Sten Agerholm
,
Jacob Frost
Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.
FME
(1997)
Sten Agerholm
,
Jacob Frost
An Isabelle-Based Theorem Prover for VDM-SL.
TPHOLs
(1997)