A case study on the automated verification of groupware protocols.

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Browse the full ICSE paper archive.