© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Pascal from BASIC
P. J. Brown
Addison-Wesley, January 1982.Bibtex Record
@book{404,
author = {P. J. Brown},
title = {Pascal from BASIC},
month = {January},
year = {1982},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1982/404},
publisher = {Addison-Wesley},
}