{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Hollander, Yoav, Alan Hu, Jo\'e3o Louren\{\\c c\}o, and Ronny Morad. "Special Session on Debugging." \i Hardware and Software: Verification and Testing\i0 . Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg,  2011. 24-28.\par \par }