© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Abstract Data Types and Processes
J Woodcock, J Davies, and C Bolton
In AW Roscoe JW Davies and JCP Woodcock, editors, Proceedings of the Symposium in Honour of CAR Hoare, pages 182-196, 2000.Bibtex Record
@inproceedings{1532,
author = {J Woodcock and J Davies and C Bolton},
title = {{Abstract Data Types and Processes}},
month = {unknown},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1532},
publication_type = {inproceedings},
submission_id = {19738_1034344334},
booktitle = {Proceedings of the Symposium in Honour of CAR Hoare},
editor = {JW Davies, AW Roscoe and JCP Woodcock},
}