@article{article04fa9cfe,
title   = {Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao},
author = {Cazarini, Edson Walmir},
year = {1989},
journal   = {Cpd-Informa}
}