Christine Lafontaine

According to our database, Christine Lafontaine authored at least 5 papers between 1990 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1993

The Generic Development Language Deva: Presentation and Case Studies

Matthias Weber, Martin Simons, Christine Lafontaine

Lecture Notes in Computer Science 738, Springer, ISBN: 3-540-57335-6, 1993

1991

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens

Commun. ACM, 1991

Integration of Semantical Verification Conditions in a Specification Language Definition.

Didier Bert, Christine Lafontaine

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study.

Christine Lafontaine

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Two Approaches towards the Formalisation of VDM.

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens

Proceedings of the VDM '90, 1990