Statistics
Publications
2
Citations
49
H-Index
2
Active since
2004
Carlos Coronado is an author specializing in formal verification, data privacy, and engineering.
Publications per year
2004–2005
2
2
Johannes Buchmann, Carlos Coronado, Daniel P. Martin et al. · TUbilio (Technical University of Darmstadt) · 2004 · 21 citations · Full text
1–2 of 2