Standard

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

Detection of Inconsistent Contracts Through Modular Verification. 2019. p. 206-220 19 (Proceedings of 6th International Conference in Software Engineering for Defence Applications; Vol. 925).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Harvard

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

APA

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

Vancouver

Naumchev A. Detection of Inconsistent Contracts Through Modular Verification. In Detection of Inconsistent Contracts Through Modular Verification. 2019. p. 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. pp. 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