© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Teaching Java with BlueJ - a sequence of assignments
Michael K�lling
Technical Report 2002,1, University of Southern Denmark, January 2002. Download publication 241 kbytes (PDF)Bibtex Record
@techreport{3064,
author = {Michael K�lling},
title = {Teaching {J}ava with {B}lue{J} - A Sequence of Assignments},
month = {January},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/3064},
publication_type = {techreport},
submission_id = {418_1289117603},
other_year = {2002},
institution = {University of Southern Denmark},
type = {Technical Report},
number = {2002,1},
}