© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Editorial: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006
B. Aichernig, E.A. Boiten, J. Derrick, and L. Groves
Electronic Notes in Theoretical Computer Science, 187:182-196, July 2007.Bibtex Record
@article{2581,
author = {B. Aichernig and E.A. Boiten and J. Derrick and L. Groves},
title = {{Editorial: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006}},
month = {July},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2581},
publication_type = {article},
submission_id = {5802_1184348101},
ISSN = {15710661},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {187},
}