A theorem prover-bases analysis tool for object-oriented databases

D. Spelt, S.J. Even

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)
Place of Publication	Amsterdam
Pages	375-389
Publication status	Published - 20 Mar 1999

Keywords

@inproceedings{108cb884ce0f48328a516f9d878c6152,

title = "A theorem prover-bases analysis tool for object-oriented databases",

keywords = "METIS-119616",

author = "D. Spelt and S.J. Even",

year = "1999",

month = mar,

day = "20",

language = "Undefined",

isbn = "3-540-65703-7",

pages = "375--389",

booktitle = "Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)",

}