© University of Kent - Contact | Feedback | Legal | FOI | Cookies
LAMBDA Tutorial Guide
P.H. Welch
, January 1980.Bibtex Record
@manual{231,
author = {P.H. Welch},
title = {{LAMBDA Tutorial Guide}},
month = {January},
year = {1980},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1980/231},
author_ids = {phw},
organisation = {UKC},
}