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]
Abstract is missing.