Statistics
Publications
2
Citations
70
H-Index
2
Active since
2005
Affiliations
University of Pisa(Current)
Federico Banti is an author at University of Pisa specializing in computer science, formal methods, and model-based verification.
Publications per year
2005–2010
2
2
The Refined Extension Principle for Semantics of Dynamic Logic Programming
José Júlio Alferes, Federico Banti, Antonio Brogi et al. · Studia Logica · 2005 · 60 citations
1–2 of 2