Overview
Курс "Формальные методы верификации программ" / "Верификация ПО. Часть 2" (читается с осени 2013 года).
Issue tracking Details
View all issues | Summary | Calendar | Gantt
Members
Manager: Alexander Kamkin
Developer: Alexander Kamkin, Artem Kotsynyak
Project Creator: Alexander Kamkin