Please use this identifier to cite or link to this item:
https://libeldoc.bsuir.by/handle/123456789/25022
| Title: | Обзор теорий доказательства правильности программ |
| Authors: | Власенко, В. А. |
| Keywords: | материалы конференций;программное обеспечение;верификация;анализ кодов |
| Issue Date: | 2015 |
| Publisher: | БГУИР |
| Citation: | Власенко, В. А. Обзор теорий доказательства правильности программ / В. А. Власенко // Технические средства защиты информации : тезисы докладов ХIII Белорусско-российской научно-технической конференции, Минск, 4–5 мая 2015 г. / Белорусский государственный университет информатики и радиоэлектроники. – Минск, 2015. – С. 63. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/25022 |
| Appears in Collections: | ТСЗИ 2015
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
