The European workshop on V&V of KBS at KR'98
has taken place on July 1 1998.
This page will switch your browser to the
on-line proceedings
in a few seconds.