%0 Journal Article %1 journals/scp/GheyiI15 %A Gheyi, Rohit %A Iyoda, Juliano %D 2015 %J Sci. Comput. Program. %K dblp %P 1 %T Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013). %U http://dblp.uni-trier.de/db/journals/scp/scp107.html#GheyiI15 %V 107-108

@article{journals/scp/GheyiI15, added-at = {2021-02-17T00:00:00.000+0100}, author = {Gheyi, Rohit and Iyoda, Juliano}, biburl = {https://www.bibsonomy.org/bibtex/208b0b4258fb96acd44d2b738777ffdf6/dblp}, ee = {https://doi.org/10.1016/j.scico.2015.05.009}, interhash = {f7ea4bf4897ea4201df25b7703316abe}, intrahash = {08b0b4258fb96acd44d2b738777ffdf6}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 1, timestamp = {2024-04-09T05:28:56.000+0200}, title = {Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013).}, url = {http://dblp.uni-trier.de/db/journals/scp/scp107.html#GheyiI15}, volume = {107-108}, year = 2015 }