АВТОМАТИЗАЦИЯ ДЕДУКТИВНОЙ ВЕРИФИКАЦИИ C-ПРОГРАММ БЕЗ ИСПОЛЬЗОВАНИЯ ИНВАРИАНТОВ ЦИКЛОВ
Published in Программирование • Nov 1, 2022
NobleIDNI0P13W68R89S96
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!