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{11th International Conference on Verification, Model Checking,
and Abstract Interpretation (VMCAI'11)}, Austin, Texas,
LNCS ???, Springer, 2011, pp. ???--???.
@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 = {???--???},
booktitle = {Proceedings of the Twelveth International Conference on
Verification, Model Checking and Abstract Interpretation
(VMCAI 2011)},
address = {Austin, Texas},
publisher = {LNCS ????, Springer, Heidelberg},
month = {January 23--25},
year = 2011,
}