%0 Journal Article %1 journals/scp/CarvalhoS22 %A Carvalho, Gustavo %A Stolz, Volker %D 2022 %J Sci. Comput. Program. %K dblp %P 102830 %T Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020. %U http://dblp.uni-trier.de/db/journals/scp/scp220.html#CarvalhoS22 %V 220

@article{journals/scp/CarvalhoS22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Carvalho, Gustavo and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/2de20cc814f41fb6ba1d8819ac261565c/dblp}, ee = {https://www.wikidata.org/entity/Q114134848}, interhash = {8a90d94dda0c0ca5d4063ba94747a81c}, intrahash = {de20cc814f41fb6ba1d8819ac261565c}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102830, timestamp = {2024-04-09T05:28:19.000+0200}, title = {Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp220.html#CarvalhoS22}, volume = 220, year = 2022 }