Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Final Report
Связанные издания:
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
