Specification and verification of data base semantic integrity
Specification and verification of data base semantic integrity1978
Details
- First published
- 1978
- OL Work ID
- OL2925400W
Subjects
Database managementProgramming languages (Electronic computers)Computer programsVerificationSemantics