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 : Springer
Heidelberg Springer 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2220867 ) e outros locais(Acessar)