@misc{miscc3d2911a,
title   = {Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]},
author = {Simão, Adenilso da Silva and Morgan, Carroll},
year = {2014},
doi = {10.1016/j.scico.2014.02.004},
publisher = {Elsevier},
journal   = {Science of Computer Programming}
}