@inproceedings{inproceedings13bc9dec,
title   = {A dynamic software certification an verification procedure},
author = {Pereira, Carlos Alberto de Bragança and Nakano, Fábio and Stern, Julio Michael},
year = {1999},
publisher = {IIIS},
booktitle   = {World Multiconference on Systemics, Cybernetics and Informatics - SCI'99}
}