Formal methods : foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers

Author：edited by Jim Davies, Leila Silva, Adenilso Simao.
Publisher：Springer Berlin Heidelberg
ISBN：9783642198298 (electronic bk.) ; 9783642198281 (paper)
Publication Date：2011
其他作者：Davies, Jim. ; Silva, Leila. ; Simao, Adenilso.
語言：zh
出版地：Berlin, Heidelberg :
Description

viii, 290 p. ::ill., digital ;:24 cm.

Search Same Author