© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 33-56. 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 = {33--56},
keywords = {},
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},
}