© 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}, }