Formal Specification of a Framework for Groupware Development

Alain Kerbrat, Slim Ben Atallah. Formal Specification of a Framework for Groupware Development. In Gregor von Bochmann, Rachida Dssouli, Omar Rafiq, editors, Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Volume 43 of IFIP Conference Proceedings, pages 303-310, Chapman & Hall, 1995.

Abstract

Abstract is missing.