Formal Development of Relational Database Applications

Roberto S. M. Barros, David J. Harper. Formal Development of Relational Database Applications. In David J. Harper, Moira C. Norrie, editors, Specifications of Database Systems. Workshops in Computing, pages 21-43, Springer, 1992. [doi]

Abstract

Abstract is missing.