1
Publications
39
Citations
1
H-Index
2006
Active since
Adam Cataldo is an author specializing in automated reasoning, discrete mathematics, and formal verification.
Top concepts
EngineeringFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringDiscrete Mathematics
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1