Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
frama-c-proofs
Ваш e-mail не будет опубликован. Обязательные поля помечены *
Комментарий
Имя *
E-mail *
Сайт
Этот сайт использует Akismet для борьбы со спамом. Узнайте как обрабатываются ваши данные комментариев.