Christine Lafontaine

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

Didier Bert, Christine Lafontaine
Integration of Semantical Verification Conditions in a Specification Language Definition. AMAST (1991)
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM 34 (5) (1991)
Christine Lafontaine
Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study. Programming Concepts and Methods (1990)
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Two Approaches towards the Formalisation of VDM. VDM Europe (1990)
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. ICSE (1990)