004.052.42

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