Author: Yves Ledru

Publications

Co-authors

Jullien Bouchet

1

Christine Lafontaine

1

Pierre-Yves Schobbens

1

Productive Colleagues

Jullien Bouchet

4

Sophie Dupuy-Chessa

6

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.

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