BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Spain
Collaborated with:
∅ S.Agerholm
Talks about:
theorem (1) toward (1) safeti (1) integr (1) critic (1) certif (1) applic (1) solut (1) prove (1) embed (1)

Person: Jacob Frost

DBLP DBLP: Frost:Jacob

Contributed to:

Ada-Europe 19991999
FME 19971997

Wrote 2 papers:

AdaEurope-1999-Frost #ada #certification #embedded #safety
An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
FME-1997-AgerholmF #automation #proving #theorem proving #towards
Towards an Integrated CASE and Theorem Proving Tool for VDM-SL (SA, JF), pp. 278–297.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.