This volume contains the papers presented at SBMF 2010... [Prefácio]
Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)
Proceedings Heidelberg : SpringerHeidelberg Springer 2011
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2220867 ) e outros locais(Acessar)