Normal view
MARC view
- Кларк, Эдмунд М.
Кларк, Эдмунд М. младший (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Кларк, Эдмунд М. младший., Верификация моделей программ: Model Checking, 2002