In June we were present at the EuroVAV 1999 conference in Oslo, Norway. This was the fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components. Our tool was received well and the community takes special interest in our solution because we are dealing with VaV for both OO and Rulebased programming. Have a look at the site at the EuroVAV99 site.
