{\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 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Almeida, Jos\'e9 Bacelar, Maria Jo\'e3o Frade, Jorge Sousa Pinto, and Sim\'e3o Melo de Sousa. "\i An Overview of Formal Methods Tools and Techniques\i0 ." In \i Rigorous Software Development: An Introduction to Program Verification\i0 , 15-44. London, 2011.\par \par }