Standard

Detection of Inconsistent Contracts Through Modular Verification. / Naumchev, Alexandr.

Detection of Inconsistent Contracts Through Modular Verification. 2019. стр. 206-220 19 (Proceedings of 6th International Conference in Software Engineering for Defence Applications; Том 925).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

Harvard

Naumchev, A 2019, Detection of Inconsistent Contracts Through Modular Verification. в Detection of Inconsistent Contracts Through Modular Verification., 19, Proceedings of 6th International Conference in Software Engineering for Defence Applications, Том. 925, стр. 206-220. https://doi.org/10.1007/978-3-030-14687-0_19

APA

Naumchev, A. (2019). Detection of Inconsistent Contracts Through Modular Verification. в Detection of Inconsistent Contracts Through Modular Verification (стр. 206-220). [19] (Proceedings of 6th International Conference in Software Engineering for Defence Applications; Том 925). https://doi.org/10.1007/978-3-030-14687-0_19

Vancouver

Naumchev A. Detection of Inconsistent Contracts Through Modular Verification. в Detection of Inconsistent Contracts Through Modular Verification. 2019. стр. 206-220. 19. (Proceedings of 6th International Conference in Software Engineering for Defence Applications). doi: 10.1007/978-3-030-14687-0_19

Author

Naumchev, Alexandr. / Detection of Inconsistent Contracts Through Modular Verification. Detection of Inconsistent Contracts Through Modular Verification. 2019. стр. 206-220 (Proceedings of 6th International Conference in Software Engineering for Defence Applications).

BibTeX

@inbook{0f9e6c541ef5430388137665610575be,
title = "Detection of Inconsistent Contracts Through Modular Verification",
author = "Alexandr Naumchev",
year = "2019",
month = mar,
day = "19",
doi = "10.1007/978-3-030-14687-0_19",
language = "English",
series = "Proceedings of 6th International Conference in Software Engineering for Defence Applications",
pages = "206--220",
booktitle = "Detection of Inconsistent Contracts Through Modular Verification",

}

RIS

TY - CHAP

T1 - Detection of Inconsistent Contracts Through Modular Verification

AU - Naumchev, Alexandr

PY - 2019/3/19

Y1 - 2019/3/19

U2 - 10.1007/978-3-030-14687-0_19

DO - 10.1007/978-3-030-14687-0_19

M3 - Chapter

T3 - Proceedings of 6th International Conference in Software Engineering for Defence Applications

SP - 206

EP - 220

BT - Detection of Inconsistent Contracts Through Modular Verification

ER -

ID: 65525948