\bibitem{Cousot03-Florence}
P{.} Cousot.
\newblock A Static Analyzer for Large Safety-Critical Software, Invited Talk.
\newblock Italian CoVer (Constraint-based Verification of Reactive systems) project meeting,
25--26 September 2003, Florence, Italy.
@unpublished{Cousot03-Florence,
author = {P{.} Cousot},
title = {A Static Analyzer for Large Safety-Critical Software, Invited Talk},
note = {Italian CoVer (Constraint-based Verification of Reactive systems) project meeting,
25--26 September 2003, Florence, Italy},
}