Wolfgang Ahrendt

Integrated Formal Methods - 2019 - springer 2019 - Lecture Notes in Computer Science .

9783030349684


Computer Science
Software Engineering