© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The bluej environment reference manual
Michael K�lling
Technical Report 2004, No 2, ISSN No. 1601-4219, The Maersk Mc-Kinney Moller Institute for Production Technology, University of Southern Denmark, June 2004. Download publication 338 kbytes (PDF)Bibtex Record
@techreport{2362,
author = {Michael K�lling},
title = {The BlueJ Environment Reference Manual},
month = {June},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/2362},
publication_type = {techreport},
submission_id = {23946_1140789676},
institution = {The Maersk Mc-Kinney Moller Institute for Production Technology, University of Southern Denmark},
number = {2004, No 2, ISSN No. 1601-4219},
}