Тодоров В.., Taha S.., Boulanger F.., Хернандес А.. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // № 14, 2019
Кондратьев Д.А., Марьясов И.В., Непомнящий В.А. Верификация финитной итерации над массивами с выходом из цикла в Си программах // № 10, 2017
Кондратьев Д.А., Промский А.В. На пути к автоматизированной локализации ошибок в C программах с циклами // № 14, 2019
де Карвальо Д.., Маццара М.., Мингела Б.А., Сафина Л.Р., Трошков Н.Е., Чичигин А.Д. Статическая проверка типов для языка Jolie // № 10, 2017
