Title

Formal Specifications of ADS, An Abstract Database System

Authors

Takayuki D. Kimura, Washington University in St. Louis
Will D. Gillett, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1981-05-01

Filename

WUCS-81-03.pdf

DOI:

10.7936/K7K072M2

Technical Report Number

WUCS-81-03

Comments

Permanent URL: http://dx.doi.org/10.7936/K7K072M2

Recommended Citation

Kimura, Takayuki D. and Gillett, Will D., "Formal Specifications of ADS, An Abstract Database System" Report Number: WUCS-81-03 (1981). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/885