-
Collaborative edition on semi-structured documents
Collaborative editors allow different users to work together on a common task. Such tasks range from using a shared calendar to realizing software programmed by users... -
Deductive Verification of Distributed Groupware Systems
Colloque avec actes et comité de lecture. nationale.
