TY  - RPRT
TI  - Complete contracts through specification drivers
AU  - Alexandr Naumchev
AU  - Bertrand Meyer
PY  - 2016
UR  - https://arxiv.org/abs/1602.04007
ID  - 1602.04007
ER  -