© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Mathematics of Program Construction: Sixth International Conference
Eerke A. Boiten and Bernhard M"oller, editors
volume 2386 of Lecture Notes in Computer Science. Springer, July 2002.Abstract
http://www.springer.de/cgi/svcat/search_book.pl?isbn=3-540-43857-2
Bibtex Record
@proceedings{1368,
author = {},
title = {Mathematics of Program Construction: Sixth International Conference},
month = {July},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1368},
publication_type = {proceedings},
submission_id = {23494_1020936828},
editor = {Eerke A. Boiten and Bernhard M"oller},
volume = {2386},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
ISSN = {0302-9743},
}