Statistics
Publications
1
Citations
17
H-Index
1
Active since
2010
Affiliations
University of Verona(Current)
Nicola Orlandi is an author at University of Verona specializing in template library construction, verification, and formal methods.
Publications per year
2010–2010
1
1
DDPSL: An easy way of defining properties
Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi et al. · 2010 · 17 citations
1–1 of 1