Use Case Analysis Based on Formal Methods: An Empirical Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcos Oliveira Jr.' in GoogleThis author has not been identified. Look up 'Leila Ribeiro' in GoogleThis author has not been identified. Look up 'Érika F. Cota' in GoogleThis author has not been identified. Look up 'Lucio Mauro Duarte' in GoogleThis author has not been identified. Look up 'Ingrid Nunes' in GoogleThis author has not been identified. Look up 'Filipe Reis' in Google

runs on WebDSL