%0 Conference Paper %1 conf/sbes/LohC91 %A Loh, Stanley %A de Castilho, José Mauro Volkmer %B SBES %D 1991 %E da Silva Bigonha, Roberto %I SBC %K dblp %P 207-220 %T O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software. %U http://dblp.uni-trier.de/db/conf/sbes/sbes1991.html#LohC91

@inproceedings{conf/sbes/LohC91, added-at = {2024-01-10T00:00:00.000+0100}, author = {Loh, Stanley and de Castilho, José Mauro Volkmer}, biburl = {https://www.bibsonomy.org/bibtex/2cba27144a840f120ffd20a11dd57fb36/dblp}, booktitle = {SBES}, crossref = {conf/sbes/1991}, editor = {da Silva Bigonha, Roberto}, ee = {https://doi.org/10.5753/sbes.1991.24268}, interhash = {196e862c587ddb92b312389521815ad1}, intrahash = {cba27144a840f120ffd20a11dd57fb36}, keywords = {dblp}, pages = {207-220}, publisher = {SBC}, timestamp = {2024-04-09T16:00:40.000+0200}, title = {O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software.}, url = {http://dblp.uni-trier.de/db/conf/sbes/sbes1991.html#LohC91}, year = 1991 }