Верификация компиляторов - систематический подход

С.В. Зеленов, Н.В. Пакулин,
Труды Института системного программирования РАН


Содержание раздела

---