@article{begay2000formalmethods,
author	=	{Didier B{\'e}gay and Antoine Rauzy},
title	=	{A {R}ealistic {I}nvolvement in {F}ormal {M}ethods},
journal	=	{Software Practice and Experience},
publisher	=	{Wiley},
volume	=	{31},
number	=	{2},
pages	=	{191--208},
year	=	{2000},
doi	=	{10.1002/1097-024X(200102)31:2<191::AID-SPE361>3.0.CO;2-4},
abstractfile	=	{BegayRauzy2000-ARealisticInvolvementOfFormalMethods.html},
psfile	=	{BegayRauzy2000-ARealisticInvolvementOfFormalMethods.ps},
pdffile	=	{BegayRauzy2000-ARealisticInvolvementOfFormalMethods.pdf}
}