L
ogic and
E
nergy: a
V
isionary
I
nspirator
A tribute to Giorgio Levi for forty years of research
Home
Short Bio
Presentations
Gallery
Links
>
Giorgio Levi
Home Page
Papers by Giorgio Levi on dblp
Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi
Supporters
List Group
Associazione Italiana per l’Informatica ed il Calcolo Automatico
Applied Formal Methods Laboratory, University of Parma
Presentations
Presentations
Presentations
Presentations