Author: Marie-Claude Gaudel
Publication Overview
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.