@inproceedings{sbes, author = {Jaelson Castro and Christian Gautreau and Marco Céspedes}, title = { Towards an Environment to Support Requirements Formalisation}, booktitle = {Anais do X Simpósio Brasileiro de Engenharia de Software}, location = {São Carlos/SP}, year = {1996}, keywords = {}, issn = {0000-0000}, pages = {189--205}, publisher = {SBC}, address = {Porto Alegre, RS, Brasil}, doi = {10.5753/sbes.1996.24444}, url = {https://sol.sbc.org.br/index.php/sbes/article/view/24444} }