Verification Support for Object Database Design

David Spelt. Verification Support for Object Database Design. PhD thesis, University of Twente, Enschede, Netherlands, 1999. [doi]

Abstract

Abstract is missing.