1
Publications
13
Citations
1
H-Index
2012
Active since
Affiliations
Paulo C. Véras is an author at Instituto Nacional de Pesquisas Espaciais specializing in embedded systems, software engineering, and system software.
Top concepts
EngineeringVerificationSoftware DesignSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2012–2012
1
1
Rows per page
1–1 of 1