Travelled to:1 × France
Collaborated with:Y.Ledru P.Schobbens
Talks about:vdm (2) formalis (1) approach (1) theorem (1) softwar (1) develop (1) toward (1) prover (1) formal (1) experi (1)
Person: Christine Lafontaine
DBLP: Lafontaine:Christine
Contributed to:
1990
1990Wrote 2 papers:
- ICSE-1990-LafontaineLS #case study #development #empirical #formal method #proving #theorem proving #using
- An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study (CL, YL, PYS), pp. 34–42.
- VDME-1990-LafontaineLS #formal method #towards
- Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.