© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Value of Guided Revision
Janet Carter
In Una O'Reilly and Hazel Steede, editors, Proceedings of 5th Annual Conference of the Subject Centre for Information and Computer Sciences, pages 182-196, Ulster, August 2004. LTSN-ICS.Bibtex Record
@inproceedings{1968, author = {Janet Carter}, title = {The {V}alue of {G}uided {R}evision}, month = {August}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/1968}, publication_type = {inproceedings}, submission_id = {24786_1095258096}, ISBN = {0-9541927-7-X}, booktitle = {Proceedings of 5th Annual Conference of the Subject Centre for Information and Computer Sciences}, editor = {Una O'Reilly and Hazel Steede}, address = {Ulster}, publisher = {LTSN-ICS}, refereed = {yes}, }