@InProceedings{PFPWM13-ICSE13, author = {Nadia Polikarpova and Carlo A. Furia and Yu Pei and Yi Wei and Bertrand Meyer}, title = {What Good Are Strong Specifications?}, booktitle = {Proceedings of the 35th International Conference on Software Engineering (ICSE'13)}, year = {2013}, month = {May}, urltopdf = {http://se.inf.ethz.ch/people/polikarpova/publications/icse13.pdf}, pages = {262--271}, publisher = {IEEE Press}, }