© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Pascal-m in Office Information Systems
S Cook and S Abramsky
In N Naffah, editor, Proceedings of the Second International Workshop on office Information Systems, pages 182-196, Couvent Royal de Saint-Maximin, France, October 1981. North-Holland.Bibtex Record
@inproceedings{1229,
author = {S Cook and S Abramsky},
title = {{Pascal-m in Office Information Systems}},
month = {October},
year = {1981},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1981/1229},
publication_type = {inproceedings},
submission_id = {28767_999248976},
other_year = {1981},
booktitle = {Proceedings of the Second International Workshop on office Information Systems},
editor = {N Naffah},
address = {Couvent Royal de Saint-Maximin, France},
publisher = {North-Holland},
}