Formal Methods: Foundations and Applications
Lucas Lima
Formal Methods: Foundations and Applications - 1st ed. 2022 - Springer 2022 - Lecture Notes in Computer Science .
9783031224768
Computer Science
Software Engineering
Formal Methods: Foundations and Applications - 1st ed. 2022 - Springer 2022 - Lecture Notes in Computer Science .
9783031224768
Computer Science
Software Engineering