Normal view MARC view ISBD view

Formal Methods: Foundations and Applications

Lucas Lima, Vince Molnár

Formal Methods: Foundations and Applications - Springer Springer 2022

ISBN: 9783031224768

Source: EBOOK