Carlos Coronado

CC

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

Publications

2