Author: Marie-Claude Gaudel
Publications
Publication period start: 1991
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Freeman, Peter, Gaudel, Marie-Claude (1991): Building a Foundation for the Future of Software Engineering (Introduction to the Special . In Communications of the ACM, 34 (5) pp. 30-33.
Gaudel, Marie-Claude (1995): Formal Specification Techniques for Interactive Systems. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 21-26.