Searching for "Modularizing the Formal Description of a Database System." – sorted by Relevance.
-
Main Publications
- . Modularizing the formal description of a database system. In D. Bjrner, C. A. R. Hoare, and H. Langmaack
- Add To MetaCart

