@misc{misc7d508f0f,
title   = {This volume contains the short papers presented at SBMF 2011... [Prefácio]},
author = {Simão, Adenilso da Silva and Morgan, Carroll},
year = {2011},
publisher = {ICMC/USP},
journal   = {Proceedings of the 14. Brazilian Symposium on Formal Methods}
}