Formal Methods and Software Engineering > Editions
by Zhiming Liu
Published September 5th 2008
by Springer
Paperback, 796 pages
Published March 16th 2009
by Springer
Paperback, 412 pages


