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.
