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