Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/5801
Title: Inter-tabular verification in an interactive environment
Authors: Vanthienen, J.
Mues, C.
WETS, Geert 
Issue Date: 1997
Source: 4th European Symposium on the Validation and Verification of Knowledge-based Systems, Leuven, Belgium, June 26-28. p. 155-165.
Document URI: http://hdl.handle.net/1942/5801
Type: Proceedings Paper
Appears in Collections:Research publications

Show full item record

Page view(s)

36
checked on Nov 7, 2023

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.