3
Publications
117
Citations
3
H-Index
1981
Active since
Affiliations
José Mauro Volkmer de Castilho is an author at Universidade Federal do Rio Grande do Sul specializing in engineering, formal verification, and data integration.
Top concepts
EngineeringManagementData ModelingFormal MethodsSoftware DesignComputer ScienceData IntegrationAutomated ReasoningFormal VerificationConstraints
Publications per year
1981–1982
3
3
Rows per page
1–3 of 3