© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Stream: A first programming process
Michael Caspersen and Michael K�lling
Transactions of Computing Education, 1(1):182-196, April 2009. Download publication 418 kbytes (PDF)Bibtex Record
@article{2880,
author = {Michael Caspersen and Michael K�lling},
title = {STREAM: A First Programming Process},
month = {April},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/2880},
publication_type = {article},
submission_id = {20615_1235743219},
journal = {Transactions of Computing Education},
volume = {1},
number = {1},
publisher = {ACM},
}