Tiago Lima Massoni

Affiliations: 
UFCG, Campina Grande, Paraíba, Brazil 
Area:
software engineering, formal methods
Google:
"Tiago Massoni"