© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Representing Exceptional Behaviour at the earlier Phases of Software Development
R. de Lemos
In Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF), pages 182-196, March 2001. Download publication 126 kbytes (PDF)Bibtex Record
@inproceedings{1185,
author = {R. de Lemos},
title = {{R}epresenting {E}xceptional {B}ehaviour at the earlier {P}hases of {S}oftware {D}evelopment},
month = {March},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1185},
publication_type = {inproceedings},
submission_id = {8762_985196194},
booktitle = {Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF)},
refereed = {yes},
}