Deductive verification of distributed groupware systems (2004)

by A Imine, P Molli, G Oster, M Rusinowitch
Venue:In Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, volume 3116 of Lecture Notes in Computer Science