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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.