Verification Support for Object Database Design

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

Authors

David Spelt

This author has not been identified. Look up 'David Spelt' in Google