Formal Methods
Marsha Chechik
Formal Methods - 1st ed. 2023 - Springer 2023 - Lecture Notes in Computer Science .
9783031274817
Computer Science
Software Engineering
Formal Methods - 1st ed. 2023 - Springer 2023 - Lecture Notes in Computer Science .
9783031274817
Computer Science
Software Engineering