Marcos Oliveira Jr.

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Top Venues

Publications

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. WADT (2014)