Formal Methods and Software Engineering > Editions
by Stephan Merz First published November 11th 2014
Published October 31st 2014
by Springer
Paperback, 480 pages
Published September 23rd 2014
by Springer
2014, Paperback, 478 pages


