School of Computing

Useful sharing

Sally Fincher

In Iain Hay, editor, Inspiring Academics: Learning with the World's Great University Teachers, chapter 22, pages 182-196. Open University Press, March 2011.

Bibtex Record

@incollection{3096,
author = {Sally Fincher},
title = {Useful Sharing},
month = {March},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3096},
    publication_type = {incollection},
    submission_id = {8985_1301992248},
    ISBN = {978-0-33-523741-8},
    booktitle = {Inspiring Academics: Learning with the World's Great University Teachers},
    publisher = {Open University Press},
    editor = {Iain Hay},
    chapter = {22},
}

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

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

Last Updated: 21/03/2014