Vinicius Nunes is an author at Universidade de Brasília specializing in computer engineering, system software, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2012–2015
2
2
Rows per page
1–2 of 2