Lincoln S. Rocha, Rossana M. C. Andrade, Alessandro F. Garcia. A Method for Model Checking Context-Aware Exception Handling. In 27th Brazilian Symposium on Software Engineering, SBES 2013, Brasilia, Brazil, October 1-4, 2013. pages 59-68, IEEE, 2013. [doi]
@inproceedings{RochaAG13,
title = {A Method for Model Checking Context-Aware Exception Handling},
author = {Lincoln S. Rocha and Rossana M. C. Andrade and Alessandro F. Garcia},
year = {2013},
doi = {10.1109/SBES.2013.16},
url = {http://dx.doi.org/10.1109/SBES.2013.16},
researchr = {https://researchr.org/publication/RochaAG13},
cites = {0},
citedby = {0},
pages = {59-68},
booktitle = {27th Brazilian Symposium on Software Engineering, SBES 2013, Brasilia, Brazil, October 1-4, 2013},
publisher = {IEEE},
}