Formal methods foundations and applications
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-2213638 ) e outros locais(Acessar)