RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Кавалли Ана
Публикации в базе данных Math-Net.Ru
Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN
Модел. и анализ информ. систем
,
18
:4 (2011),
131–143
©
МИАН
, 2024
