Specification and Verification of Concurrent Systems - Charles Rattray | DealShopping France