Rigorous Software Development: An Introduction to Program Verification | DealShopping Deutschland