Marie-Claude Gaudel

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1991
Publication period end
1995
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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.

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.