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