TY  - RPRT
TI  - What Good Are Strong Specifications?
AU  - Nadia Polikarpova
AU  - Carlo A. Furia
AU  - Yu Pei
AU  - Yi Wei
AU  - Bertrand Meyer
PY  - 2013
UR  - https://arxiv.org/abs/1208.3337
ID  - 1208.3337
ER  -