Войти
Нет соединения — показаны сохранённые данные

Tiziana Margaria-Steffen

Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria-Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Tiziana Margaria-Steffen