Giannakopoulou, Dimitra, ed. FM 2012: Formal Methods__18th International Symposium Berlin: Springer-Verlag, 2012. Paperback Octavo. Paperback. wraps 488 pp. More Add to Cart Price: 28.00 € Item Details Ask a Question