© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Change stories
Sally Fincher, Janet Finlay, Helen Sharp, Isobel Falconer, and Brad Richards
Technical Report 1-12, February 2012. Download publication 401 kbytes (PDF)Bibtex Record
@techreport{3207,
author = {Sally Fincher and Janet Finlay and Helen Sharp and Isobel Falconer and Brad Richards},
title = {Change Stories},
month = {February},
year = {2012},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2012/3207},
number = {1-12},
publication_type = {techreport},
submission_id = {17571_1330454894},
}