Christine Lafontaine

Author: Christine Lafontaine

Publications

Publication period start: 1991
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Yves Ledru
1
Pierre-Yves Schobbens
1

Productive Colleagues

Most productive colleagues in number of publications
Yves Ledru
2
Pierre-Yves Schobbens
6

Publications

Lafontaine, Christine, Ledru, Yves, Schobbens, Pierre-Yves (1991): An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Stu. In Communications of the ACM, 34 (5) pp. 62-71,87.