Author: Yves Ledru
Publication Overview
Publication period start: 1991
Number of co-authors: 5
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.
Dupuy-Chessa,
Sophie,
Bousquet,
Lydie du,
Bouchet,
Jullien,
Ledru,
Yves
(2005):
Test of the ICARE Platform Fusion Mechanism.
In:
Gilroy,
Stephen W.,
Harrison,
Michael D.
(eds.)
DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop
July 13-15,
2005,
Newcastle upon Tyne, UK.
pp. 102-113.
https://dx.doi.org/10.1007/11752707_9