\bibitem{LogozzoBarnettahndrichCousotCousot-SPLASH12}
          F.~Logozzo, M.~Barnett, M.~F{\"a}hndrich, P.~Cousot, \& R.~Cousot.
\newblock A semantic integrated development environment.
\newblock In \emph{Proceedings of the 3rd annual conference on Systems, programming, 
          and applications: software for humanity}, pp.~15--16, Tucson, AZ, USA, 
          October 21--25, 2012. ACM Press, New York, NY.

@inproceedings{LogozzoBarnettahndrichCousotCousot-SPLASH12,
  author    = {Francesco Logozzo and
               Michael Barnett and
               Manuel F{\"a}hndrich and
               Patrick Cousot and
               Radhia Cousot},
  title     = {A semantic integrated development environment},
  booktitle = {Conference on Systems, Programming, and Applications: Software
               for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25,
               2012},
  editor    = {Gary T. Leavens},
  year      = {2012},
  pages     = {15--16},
  ee        = {http://doi.acm.org/10.1145/2384716.2384724},
}