Tests and Proofs. TAP 2020 - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Tests and Proofs. TAP 2020сборник

Год издания: 2020
Серия: Lecture Notes in Computer Science
Том: 12165
Издательство: Springer International Publishing AG
Местоположение издательства: Cham, Switzerland
ISBN: 978-3-030-50994-1
Добавил в систему: Корныхин Евгений Валерьевич

Статьи, опубликованные в сборнике

- 2020 Deductive Binary Code Verification Against Source-Code-Level Specifications
- Kamkin Alexander, Khoroshilov Alexey, Kotsynyak Artem, Putro Pavel
- в сборнике Tests and Proofs. TAP 2020, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 12165, с. 43-58 DOI