| ![](thumb.php?src=products/364/9783642342806.jpg&wmax=80&hmax=80) | Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, 2012 Edition (Lecture Notes in Computer Science / Programming and Software) | Aoki, Toshiaki | Paperback | 3642342809 / 9783642342806 | 09/2012 | $52.24 |