Результаты поиска - Veith, Helmut

25 Years of Model Checking : History, Achievements, Perspectives / по Grumberg, Orna

Другие авторы: “...Veith, Helmut (edición)...”
Ver documento en línea
Отдельная запись