What good are strong specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer

Browse the full ICSE paper archive.