Software Engineering and Formal Methods
Dimitra Giannakopoulou
Software Engineering and Formal Methods - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319104317
Computer Science
Software Engineering
Software Engineering and Formal Methods - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319104317
Computer Science
Software Engineering