© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The TOPS project - teaching our over-performing students
Janet Carter, Nick Efford, Stephan Jamieson, Tony Jenkins, and Su White
In Proceedings of the 8th Annual HE Academy - ICS conference, pages 182-196, Southampton, August 2007. HEA ICS.Bibtex Record
@inproceedings{2549,
author = {Janet Carter and Nick Efford and Stephan Jamieson and Tony Jenkins and Su White},
title = {{T}he {TOPS} project - teaching our over-performing students},
month = {August},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2549},
publication_type = {inproceedings},
submission_id = {28161_1180687675},
booktitle = {Proceedings of the 8th Annual HE Academy - ICS conference},
address = {Southampton},
publisher = {HEA ICS},
refereed = {yes},
}