17. ICFEM 2015:
Paris, France
Michael J. Butler,
Sylvain Conchon,
Fatiha Zaïdi:
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Lecture Notes in Computer Science 9407,
Springer 2015, ISBN
978-3-319-25422-7 Sylvie Boldo:
Formal Verification of Programs Computing the Floating-Point Average. 17-32
maintained by

, founded at
