© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Denotational Models of Software Systems
ALC Cavalcanti and SRL Meira
In 9th Conference of the Brazilian Computer Society, pages 182-196, 1989 (in Portuguese).Bibtex Record
@inproceedings{1497, author = {ALC Cavalcanti and SRL Meira}, title = {{Denotational Models of Software Systems}}, month = {unknown}, year = {1989}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {(in Portuguese)}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1989/1497}, publication_type = {inproceedings}, submission_id = {416_1028907688}, other_year = {1989}, booktitle = {9th Conference of the Brazilian Computer Society}, }