Formal specification level : concepts, methods, and algorithms /: concepts, methods, and algorithms. ([2015]) - Soeken, Mathias; Drechsler, Rolf
No abstract available