EUROVAV@KR 1998: Povo, Trento, Italy

Applications of V&V

V&V of Agents

Methods & Tools for V&V

Relations with Knowledge Representation

maintained by Schloss Dagstuhl LZI at University of Trier