Author: Christine Lafontaine
Publication Overview
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.