Formal Methods Teaching
Emil Sekerinski
Formal Methods Teaching - 2024 - Springer 2024 - Lecture Notes in Computer Science .
9783031713798
Computer Science
Mathematical Logic and Foundations
Formal Methods Teaching - 2024 - Springer 2024 - Lecture Notes in Computer Science .
9783031713798
Computer Science
Mathematical Logic and Foundations