School of Computing

Recent advances in refinement

J. Derrick and E.A. Boiten

In E.Borger, A. Gargantini, and E.Riccobene, editors, Abstract State Machines 2003, number 2589 in Lecture Notes in Computer Science, pages 182-196. Springer, March 2003 Invited lecture.

Bibtex Record

@inproceedings{1680,
author = {J. Derrick and E.A. Boiten},
title = {Recent advances in refinement},
month = {March},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Invited lecture},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1680},
    publication_type = {inproceedings},
    submission_id = {10559_1062424876},
    booktitle = {Abstract State Machines 2003},
    editor = {E.Borger and A. Gargantini and E.Riccobene},
    number = {2589},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    refereed = {yes},
}

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

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

Last Updated: 21/03/2014