Title: Specification and verification of data base semantic integrity
First published: 1978
Subjects: Database management, Programming languages (Electronic computers), Computer programs, Verification, Semantics
LC classification: QA76.99 .B75 1978