Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis. Use Case Analysis Based on Formal Methods: An Empirical Study. In Mihai Codescu, Razvan Diaconescu, Ionut Tutu, editors, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers. Volume 9463 of Lecture Notes in Computer Science, pages 110-130, Springer, 2014. [doi]
@inproceedings{OliveiraRCDNR14,
title = {Use Case Analysis Based on Formal Methods: An Empirical Study},
author = {Marcos Oliveira Jr. and Leila Ribeiro and Érika F. Cota and Lucio Mauro Duarte and Ingrid Nunes and Filipe Reis},
year = {2014},
doi = {10.1007/978-3-319-28114-8_7},
url = {http://dx.doi.org/10.1007/978-3-319-28114-8_7},
researchr = {https://researchr.org/publication/OliveiraRCDNR14},
cites = {0},
citedby = {0},
pages = {110-130},
booktitle = {Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers},
editor = {Mihai Codescu and Razvan Diaconescu and Ionut Tutu},
volume = {9463},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-28113-1},
}