Keynote talk IIP: Proving (and revisiting) what programs do not

Bertrand Meyer. Keynote talk IIP: Proving (and revisiting) what programs do not. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 144, IEEE, 2014. [doi]

No reviews for this publication, yet.