Statistics
Publications
6
Citations
114
H-Index
6
Active since
2008
Affiliations
Dimitris Dranidis is an author at University of Sheffield specializing in engineering, verification, and formal verification.
Publications per year
2008–2013
5
6
1–5 of 6