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