Bibliographic reference:
\bibitem{Cousot-PUMA-2009-05-29}
P.~Cousot.
\newblock Abstraction and applications.
\newblock Doctorate Program PUMA, Program and Model Analysis (Graduiertenkolleg
Programm- Und Modell-Analyse), Fakult{\"a}t f{\"u}r Informatik,
Technische Universit{\"a}t M{\"u}nchen and the Fakult{\"a}t f{\"u}r
Informatik, Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, Germany,
May 27${^\mathrm{sd}}$, 2009.
@inProceedings{Cousot-PUMA-2009-05-27,
author = {P{.} Cousot},
title = {Abstraction and applications},
booktitle = {Doctorate Program PUMA, Program and Model Analysis
(Graduiertenkolleg Programm- Und Modell-Analyse)},
address = {Fakult{\"a}t f{\"u}r Informatik, Technische Universit{\"a}t
M{\"u}nchen and the Fakult{\"a}t f{\"u}r Informatik,
Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, Germany},
month = {May 27${^\mathrm{nd}}$},
year = 2009,
}