Project

General

Profile

Overview

Курс "Формальные методы верификации программ" / "Верификация ПО. Часть 2" (читается с осени 2013 года).

Issue tracking  Details

View all issues | Summary | Calendar | Gantt

Time tracking

  • Estimated time: 0.00 hour
  • Spent time: 0.00 hour

Details | Report

Members

Manager: Alexander Kamkin

Developer: Alexander Kamkin, Artem Kotsynyak

Project Creator: Alexander Kamkin