Электронный каталог

Статья

Кондратьев, Д.А.
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов / Д.А.Кондратьев, В.А.Непомнящий // Программирование. – 2022. – №5. – С.37-53. – URL: http://dx.doi.org/10.1134/S036176882205005X. – Библиогр.:48.



Спец.(статьи,препринты) = Ц 840 - Программирование. Общие вопросы