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