Standard

Complete Contracts through Specification Drivers. / Naumchev, Alexandr; Meyer, Bertrand.

2016. 160-167 Работа представлена на 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

Результаты исследований: Материалы конференций › материалы › Рецензирование

Harvard

Naumchev, A & Meyer, B 2016, 'Complete Contracts through Specification Drivers', Работа представлена на 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 17.07.2016 - 19.07.2016 стр. 160-167. https://doi.org/10.1109/TASE.2016.13

APA

Naumchev, A., & Meyer, B. (2016). Complete Contracts through Specification Drivers. 160-167. Работа представлена на 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE). https://doi.org/10.1109/TASE.2016.13

Vancouver

Naumchev A, Meyer B. Complete Contracts through Specification Drivers. 2016. Работа представлена на 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE). doi: 10.1109/TASE.2016.13

Author

Naumchev, Alexandr ; Meyer, Bertrand. / Complete Contracts through Specification Drivers. Работа представлена на 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

BibTeX

@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",

}

RIS

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