@misc{misc5194aca4,
title   = {Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil},
author = {Melo, Ana Cristina Vieira de and Moreira, Anamaria M.},
year = {1999},
publisher = {[s.n.]},
booktitle   = {Workshop on Formal Methods - WFM}
}