FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick | DealShopping Deutschland