Inter-tabular verification in an interactive environment

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

Check