1
Publications
14
Citations
1
H-Index
2018
Active since
Ricardo Nales Amato is an author specializing in software engineering, software maintenance, and formal verification.
Top concepts
FuzzingEngineeringData ScienceVerificationSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware Security
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1