| 1993 |
|---|
| 5 | | Matthias Weber,
Martin Simons,
Christine Lafontaine:
The Generic Development Language Deva: Presentation and Case Studies
Springer 1993 |
| 1991 |
|---|
| 4 | | Didier Bert,
Christine Lafontaine:
Integration of Semantical Verification Conditions in a Specification Language Definition.
AMAST 1991: 467-477 |
| 3 | | 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): 62-71, 87 (1991) |
| 1990 |
|---|
| 2 | | 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: 34-42 |
| 1 | | Christine Lafontaine,
Yves Ledru,
Pierre-Yves Schobbens:
Two Approaches towards the Formalisation of VDM.
VDM Europe 1990: 370-398 |
