Вы здесь

Главная

формальая верификация

Связанные издания:

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday