Author: Christine Lafontaine
Publications
Publication period start: 1991
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
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.