© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Blue Programming Environment - Reference Manual
Michael Kolling
Technical Report TR98/19, School of Computer Science and Software Engineering, Monash University, August 1998. Download publication 318 kbytes (PDF)Bibtex Record
@techreport{2166,
author = {Michael Kolling},
title = {The {B}lue {P}rogramming {E}nvironment - {R}eference {M}anual},
month = {August},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/2166},
publication_type = {techreport},
submission_id = {4380_1116940962},
other_year = {1998},
institution = {School of Computer Science and Software Engineering, Monash University},
type = {Technical Report},
number = {TR98/19},
}