@inproceedings{inproceedingsfa0fba98, title = {Program graph visualization}, author = {Vilela, Plínio Roberto Souza and Maldonado, José Carlos and Jino, Mário}, year = {1997}, booktitle = {Workshop do Projeto Validação e Teste de Sistemas de Operação} }