Dimitris Dranidis

DD

Statistics

Publications

6

Citations

114

H-Index

6

Active since

2008

Dimitris Dranidis is an author at University of Sheffield specializing in engineering, verification, and formal verification.

Publications per year

2008–2013

5

Publications

6