Formal Methods and Software Engineering
Kazuhiro Ogata
Formal Methods and Software Engineering - 2024 - Springer 2024 - Lecture Notes in Computer Science .
9789819606177
Computer Science
Theory of Computation
Formal Methods and Software Engineering - 2024 - Springer 2024 - Lecture Notes in Computer Science .
9789819606177
Computer Science
Theory of Computation