Skip navigation
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

Files in This Item:
File Description SizeFormat 
vlasenko.PDF362.84 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.