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
© Designed and Maintained by Vivekananda Library, MDU Rohtak