C. Baldissera, Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi
Interactive Specification and Formal Verification of User’s Views in Data Bases Design
VLDB, 1979.
@inproceedings{VLDB-1979-BaldisseraCPB,
author = "C. Baldissera and Stefano Ceri and Giuseppe Pelagatti and Giampio Bracchi",
booktitle = "{Proceedings of the Fifth International Conference on Very Large Data Bases}",
cdrom = "VLDB79/P262.PDF",
pages = "262--272",
publisher = "{IEEE Computer Society}",
title = "{Interactive Specification and Formal Verification of User’s Views in Data Bases Design}",
year = 1979,
}