© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Greenroom: a teacher community for collaborative resource development
Neil Brown, Phil Stevens, and Michael Klling
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education (ITiCSE '10), ACM New York, NY, USA, ISBN 978-1-60558-820-9, June 2010.Bibtex Record
@misc{3109, author = {Neil Brown and Phil Stevens and Michael Klling}, title = {Greenroom: a teacher community for collaborative resource development}, month = {June}, year = {2010}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {10.1145/1822090.1822181}, url = {http://www.cs.kent.ac.uk/pubs/2010/3109}, publication_type = {misc}, submission_id = {25671_1304514843}, howpublished = {Proceedings of the fifteenth annual conference on Innovation and technology in computer science education (ITiCSE '10), ACM New York, NY, USA, ISBN 978-1-60558-820-9}, }