© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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},
}