Statistics
Publications
1
Citations
43
H-Index
1
Active since
1999
Patrizia Nicoli is an author specializing in formal methods, program analysis, and verification.
Publications per year
1999–1999
1
1
Data-Flow Analysis for Constraint Logic-Based Languages
Roberto Bagnara, Antonio Bassi, D. Bollini et al. · 1999 · 43 citations
1–1 of 1