Formal Methods for Computer/Communications Protocols and Software: Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations | DealShopping Deutschland