Formal Methods and Software Engineering
Stephan Merz, Jun Pang
Formal Methods and Software Engineering - 2014 - Springer International Publishing 2014 - Lecture Notes in Computer Science .
978-3-319-11737-9
Formal Methods and Software Engineering - 2014 - Springer International Publishing 2014 - Lecture Notes in Computer Science .
978-3-319-11737-9
