Large Database Specification from Small Views

• Authors:

• Samit Khosla;T. S. E. Maibaum;M. R. Sadler

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1985