1
Publications
22
Citations
1
H-Index
2002
Active since
Affiliations
Hospital de Clínicas da Unicamp(Current)
A.C.A. Rosa is an author at Hospital de Clínicas da Unicamp specializing in formal verification, software engineering, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1