Formal Methods and Software Engineering [electronic resource] Proceedings
International Conference 2007) USA ICFEM (9
Formal Methods and Software Engineering [electronic resource] Proceedings by Michael Butler, et al - Berlin Springer 2007
http://dx.doi.org/10.1007/978-3-540-76650-6
9783540766506
005.1 / (e-book)
Formal Methods and Software Engineering [electronic resource] Proceedings by Michael Butler, et al - Berlin Springer 2007
http://dx.doi.org/10.1007/978-3-540-76650-6
9783540766506
005.1 / (e-book)