Deductive Binary Code Verification Against Source-Code-Level Specifications - статья | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Deductive Binary Code Verification Against Source-Code-Level Specificationsстатья

Информация о цитировании статьи получена из Scopus
Дата последнего поиска статьи во внешних источниках: 29 апреля 2021 г.

Авторы: Kamkin Alexander, Khoroshilov Alexey, Kotsynyak Artem, Putro Pavel
Сборник: Tests and Proofs. TAP 2020
Серия: Lecture Notes in Computer Science
Том: 12165
Год издания: 2020
Издательство: Springer International Publishing AG
Местоположение издательства: Cham, Switzerland
Первая страница: 43
Последняя страница: 58
DOI: 10.1007/978-3-030-50995-8_3
Добавил в систему: Корныхин Евгений Валерьевич