Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science, 464, Band 464) | DealShopping Deutschland