4. EUROVAV 1997: Leuven, Belgium

Invited Speeches

V&V Theory and Techniques

Putting V&V into Practice

Formal Specification, Part I

V&V of Modular Systems

V&V and Knowledge Discovery

Knowlege Revision

Formal Specification, Part II (O-O)

Acknowlegement: The information on this page was contributed by Hendrik Decker
a service of Schloss Dagstuhl - Leibniz Center for Informatics