Complete Contracts through Specification Drivers

2016. 160-167 Paper presented at 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

Research output: Contribution to conference › Paper › peer-review

Naumchev, A & Meyer, B 2016, 'Complete Contracts through Specification Drivers', Paper presented at 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 17.07.2016 - 19.07.2016 pp. 160-167. https://doi.org/10.1109/TASE.2016.13

Naumchev, A., & Meyer, B. (2016). Complete Contracts through Specification Drivers. 160-167. Paper presented at 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE). https://doi.org/10.1109/TASE.2016.13

Naumchev A, Meyer B. Complete Contracts through Specification Drivers. 2016. Paper presented at 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE). doi: 10.1109/TASE.2016.13

Naumchev, Alexandr ; Meyer, Bertrand. / Complete Contracts through Specification Drivers. Paper presented at 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

@conference{dc93338ee9694a798b17437e2ff5cdf2,

title = "Complete Contracts through Specification Drivers",

author = "Alexandr Naumchev and Bertrand Meyer",

year = "2016",

month = jul,

doi = "10.1109/TASE.2016.13",

language = "English",

pages = "160--167",

note = "2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) ; Conference date: 17-07-2016 Through 19-07-2016",

}

TY - CONF

T1 - Complete Contracts through Specification Drivers

AU - Naumchev, Alexandr

AU - Meyer, Bertrand

PY - 2016/7

Y1 - 2016/7

U2 - 10.1109/TASE.2016.13

DO - 10.1109/TASE.2016.13

M3 - Paper

SP - 160

EP - 167

T2 - 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)

Y2 - 17 July 2016 through 19 July 2016

ER -

ID: 65525568