Proving Correctness of Transformation Functions in Real-Time Groupware.

Abdessamad Imine, Pascal Molli, Grald Oster, Michal Rusinowitch

Browse the full ECSCW paper archive.