Bibliographic reference:
\bibitem{CousotPRLogozzo-PCVCS-CDC-2010-12-14}
P.~Cousot.
\newblock Verification of Control Systems by Abstract Interpretation.
\newblock Pre-conference Workshop on Verification of Control Systems, 49th IEEE Conference on Decision and Control, Atlanta, Georgia, USA, December 14, 2010.
@inProceedings{CousotPRLogozzo-PCVCS-CDC-2010-12-14,
author = {P.~Cousot },
title = {Verification of Control Systems by Abstract Interpretation},
booktitle = {Pre-conference Workshop on Verification of Control Systems,
49th IEEE Conference on Decision and Control},
address = {Atlanta, Georgia, USA},
month = {December 14, },
year = {2010},
}