Searching for "Specification and Verification of Database Dynamics." – sorted by Relevance.
-
Systems, 15(1):37--59, 1990. [151] C. Sernadas, J. Fiadeiro, and A. Sernadas. Object-oriented conceptual modeling from law. In R. Meersman, Z. Shi, and C.-H. Kung, editors,
- -oriented data base design. In D. Harper and M. Norrie, editors, Specification of Database Systems, pages 275
- Add To MetaCart

