Static Testing: Using the Weakest Pre-condition Calculus | DealShopping Deutschland