Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010 | DealShopping Deutschland