Christine Lafontaine

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1991
Publication period end
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.