© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Languages and Object-oriented Programming
S J Cook
Software Engineering Journal, 1(2):182-196, March 1986.Bibtex Record
@article{1232,
author = {S J Cook},
title = {{Languages and Object-oriented Programming}},
month = {March},
year = {1986},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1986/1232},
publication_type = {article},
submission_id = {28848_999249526},
other_year = {1986},
journal = {Software Engineering Journal},
volume = {1},
number = {2},
}