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