A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Hi-index | 0.00 |