Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers
Brazilian Symposium on Formal Methods (14th : 2011 : Sao Paulo, Brazil) Adenilso da Silva Simão; Carroll Morgan 1952-
Heidelberg Springer c2011
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(005.1 B827f 2011 ) e outros locais(Acessar)