A tool-supported approach to inter-tabular verification
A tool-supported approach to inter-tabular verification
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Wets, G.
3f33a83b-e762-4c1a-b25e-0accabe08780
Delaere, K.
05d905a0-e33a-4ba1-971b-f70afd28aef9
1998
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Wets, G.
3f33a83b-e762-4c1a-b25e-0accabe08780
Delaere, K.
05d905a0-e33a-4ba1-971b-f70afd28aef9
Vanthienen, J., Mues, C., Wets, G. and Delaere, K.
(1998)
A tool-supported approach to inter-tabular verification.
4th World Congress on Expert Systems (WCES'98), Mexico City, Mexico.
16 - 20 Mar 1998.
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 1998
Venue - Dates:
4th World Congress on Expert Systems (WCES'98), Mexico City, Mexico, 1998-03-16 - 1998-03-20
Identifiers
Local EPrints ID: 36407
URI: http://eprints.soton.ac.uk/id/eprint/36407
PURE UUID: 20910198-c84c-44e7-b6f6-c8137472134b
Catalogue record
Date deposited: 25 Apr 2007
Last modified: 18 Mar 2024 02:59
Export record
Contributors
Author:
J. Vanthienen
Author:
G. Wets
Author:
K. Delaere
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics