1
Publications
50
Citations
1
H-Index
2008
Active since
Affiliations
Universidade Federal de Pernambuco(Current)
Gustavo Tavares Cabral is an author at Universidade Federal de Pernambuco specializing in formal specification, formal methods, and automated reasoning.
Top concepts
DesignEngineeringVerificationFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2008–2008
1
1
Rows per page
1–1 of 1