© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Fran poster
Anthony C. Daniels
An A1 sized poster describing Fran, January 1999. Download publication 130 kbytes (PostScript)Bibtex Record
@unpublished{1174, author = {Anthony C. Daniels}, title = {Fran poster}, month = {January}, year = {1999}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {An A1 sized poster describing Fran}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1999/1174}, publication_type = {unpublished}, submission_id = {24433_981728175}, }