Statistics
Publications
1
Citations
154
H-Index
1
Active since
2003
Affiliations
E.M. Clarke is an author at Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare specializing in computer engineering, formal methods, and engineering.
Publications per year
2003–2003
1
1