© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Unix Filing System: A MooZ Specification
SRL Meira, ALC Cavalcanti, and CS Santos
In K Lano and H Haughton, editors, Object Oriented Specification Case Studies, chapter 4, pages 182-196. Prentice-Hall, 1994.Bibtex Record
@incollection{1464,
author = {SRL Meira and ALC Cavalcanti and CS Santos},
title = {{The Unix Filing System: A MooZ Specification}},
month = {unknown},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/1464},
publication_type = {incollection},
submission_id = {2538_1028813811},
other_year = {1994},
booktitle = {Object Oriented Specification Case Studies},
publisher = {Prentice-Hall},
editor = {K Lano and H Haughton},
chapter = {4},
}