@inproceedings{imine:inria-00107652, TITLE = {{Proving Correctness of Transformation Functions in Real-Time Groupware}}, AUTHOR = {Imine, Abdessamad and Molli, Pascal and Oster, G{\'e}rald and Rusinowitch, Micha{\"e}l}, URL = {https://inria.hal.science/inria-00107652}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{8th European Conference of Computer-supported Cooperative Work - ECSCW'03}}, ADDRESS = {Helsinki, Finland}, HAL_LOCAL_REFERENCE = {A03-R-096 || imine03a}, PAGES = {18 p}, YEAR = {2003}, KEYWORDS = {transformational approach ; transformation functions ; fonctions de transformation ; prouveur de th{\'e}or{\`e}me ; theorem prover ; transform{\'e}es op{\'e}rationnelles}, PDF = {https://inria.hal.science/inria-00107652/file/A03-R-096.pdf}, HAL_ID = {inria-00107652}, HAL_VERSION = {v1}, }