European Workshop on Validation, Verification and Test of Knowledge Based System (1990 : Stockholm) ^{Konferenz oder Veranstaltung}