\bibitem{Cousot-CaFoscari-2022-05-20}
P. Cousot.
\newblock Abstract Interpretation.
\newblock \emph{Lectio Magistralis},
          Dottorato di Ricerca Honoris Causa in Computer Science,
          Aula Baratto, Universit\`a Ca' Foscari di Venezia, Italy. 20 May 2022.

@inProceedings{Cousot-CaFoscari-2022-05-202,
   author =    {P{.} Cousot},
   title =     {Abstract Interpretation},
   booktitle = {Dottorato di Ricerca Honoris Causa in Computer Science,  
                Universit\`a Ca' Foscari},
   address =   {Venezia, Italy},
   month =     {20 May 2022},
   year =      {2012},
}