RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Хазеев М.
Публикации в базе данных Math-Net.Ru
Usability of AutoProof: a case study of software verification
Труды ИСП РАН
,
28
:2 (2016),
111–126
©
МИАН
, 2024