© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Teaching object orientation with the Blue environment
Michael Kolling
Journal of Object-Oriented Programming, 12(2):182-196, December 1999. Download publication 197 kbytes (PDF)Bibtex Record
@article{2183,
author = {Michael Kolling},
title = {Teaching Object Orientation with the {B}lue Environment},
month = {December},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/2183},
publication_type = {article},
submission_id = {5661_1116944813},
other_year = {1999},
journal = {Journal of Object-Oriented Programming},
volume = {12},
number = {2},
publisher = {SIGS Publications},
}