Verification of Communication Protocols in Web ServicesKazi Sakib, Zahir Tari, Peter Bertok · First published 2013Open the Tome