School of Computing

Motivating all our students?

J Carter, D Bouvier, R Cardell-Oliver, M Hamilton, S Kurkovsky, S Markham, OW McClung, R McDermott, C Riedesel, J Shi, and S White

2011 SIGCSE conference proceedings and publications, 43:182-196, December 2011.

Bibtex Record

@article{3200,
author = {J Carter and D Bouvier and R Cardell-Oliver and M Hamilton and S Kurkovsky and S Markham and OW McClung and R McDermott and C Riedesel and J Shi and S White},
title = {Motivating All our Students?},
month = {December},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3200},
    publication_type = {article},
    submission_id = {3859_1328025065},
    ISSN = {978-1-4503-1146-5},
    journal = {2011 SIGCSE conference proceedings and publications},
    volume = {43},
    publisher = {ACM},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014