Statistics
Publications
1
Citations
59
H-Index
1
Active since
2010
Affiliations
Lancaster University(Current)
Nikolaos Drivalos is an author at Lancaster University specializing in formal verification, model-driven engineering, and formal methods.
Publications per year
2010–2010
1
1
1–1 of 1