%0 Journal Article %1 journals/scp/SimaoM14 %A da Silva Simão, Adenilso %A Morgan, Carroll %D 2014 %J Sci. Comput. Program. %K dblp %P 85 %T Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). %U http://dblp.uni-trier.de/db/journals/scp/scp92.html#SimaoM14 %V 92

@article{journals/scp/SimaoM14, added-at = {2021-02-17T00:00:00.000+0100}, author = {da Silva Simão, Adenilso and Morgan, Carroll}, biburl = {https://www.bibsonomy.org/bibtex/2ef4b3077d40d8f42a8e0f8507ebf8034/dblp}, ee = {https://doi.org/10.1016/j.scico.2014.02.004}, interhash = {6cb7dc07925f72c2bd33e25b8a2d5167}, intrahash = {ef4b3077d40d8f42a8e0f8507ebf8034}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 85, timestamp = {2024-04-09T05:28:02.000+0200}, title = {Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).}, url = {http://dblp.uni-trier.de/db/journals/scp/scp92.html#SimaoM14}, volume = 92, year = 2014 }