What good are strong specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei 0001, Yi Wei, Bertrand Meyer. What good are strong specifications?. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 262-271, IEEE / ACM, 2013. [doi]

Abstract

Abstract is missing.