Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science, 4 - Richard Lai et Ajin Jirachiefpattana | DealShopping France