@inproceedings{inproceedings60cd05bb,
title   = {Deteccao concorrente de erro pela verificacao do fluxo de controle de programa},
author = {Souza, M. A. and Martucci Júnior, Moacyr},
year = {1994},
publisher = {Sucesu-Sp/Usp},
booktitle   = {Jornada Usp - Sucesu-Sp de Informatica e Telecomunicacoes}
}