A Theorem Prover-Based Analysis Tool for Object-Oriented Databases.

David Spelt, Susan J. Even

Browse the full TACAS paper archive.