© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Warren's question
Sally Fincher and Josh Tenenberg
In Proccedings of third International Computing Education Research Workshop (ICER), pages 182-196. SIGCSE, ACM, September 2007.Bibtex Record
@inproceedings{2613,
author = {Sally Fincher and Josh Tenenberg},
title = {Warren's Question},
month = {September},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2613},
publication_type = {inproceedings},
submission_id = {13136_1190298667},
booktitle = {Proccedings of third International Computing Education Research Workshop (ICER)},
organization = {SIGCSE},
publisher = {ACM},
}