Integrated Formal Methods
Wolfgang Ahrendt
Integrated Formal Methods - 2019 - springer 2019 - Lecture Notes in Computer Science .
9783030349684
Computer Science
Software Engineering
Integrated Formal Methods - 2019 - springer 2019 - Lecture Notes in Computer Science .
9783030349684
Computer Science
Software Engineering