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
maintained by Schloss Dagstuhl LZI at University of Trier