Bibliographic reference:
\bibitem{CousotCousotLogozzo-VMCAI-11}
P.~Cousot, R.~Cousot, \& F.~Logozzo.
\newblock Precondition Inference from Intermittent Assertions and
Application to Contracts on Collections.
\newblock In \emph{12th International Conference on Verification, Model Checking,
and Abstract Interpretation (VMCAI'11)}, Austin, Texas,
LNCS 6538, Springer, 2011, pp. 150--168.
@InProceedings{CousotCousotLogozzo-VMCAI-11,
author = {P.~Cousot and R.~Cousot and F.~Logozzo},
title = {Precondition Inference from Intermittent Assertions and
Application to Contracts on Collections},
editor = {R.~Jhala, D.~Schmidt},
pages = {150--168},
booktitle = {Proceedings of the Twelveth International Conference on
Verification, Model Checking and Abstract Interpretation
(VMCAI 2011)},
address = {Austin, Texas},
publisher = {LNCS 6538, Springer, Heidelberg},
month = {January 23--25},
year = 2011,
}