© University of Kent - Contact | Feedback | Legal | FOI | Cookies
LindA: A Language for Automated Authoring of Hypertexts
J Kelner, ALC Cavalcanti, and A Pardo
In 3rd Brazilian Symposium on Sofrware Engineering, pages 182-196, 1989.Bibtex Record
@inproceedings{1496,
author = {J Kelner and ALC Cavalcanti and A Pardo},
title = {{LindA: A Language for Automated Authoring of Hypertexts}},
month = {unknown},
year = {1989},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1989/1496},
publication_type = {inproceedings},
submission_id = {28834_1028902585},
other_year = {1989},
booktitle = {3rd Brazilian Symposium on Sofrware Engineering},
}