01373nam2-2200373---450-99000341579020331620100622105719.0978-3-642-10451-0000341579USA01000341579(ALEPH)000341579USA0100034157920100622d2009----km-y0itay50------baengDEa---||||001yyFormal methods: foundations and applications12th brazilian symposium on formal methods, SBMF 2009Gramado, Brazil, august 19-21, 2009revised selected papersMarcel Vinìcius Medeiros Oliveira, Jim Woodcock (Eds.)Berlin [etc.]Springercopyr. 2009X, 349 p.ill.24 cmLecture notes in computer science59020010003149602001Lecture notes in computer scienceInformaticaAtti di congressiBNCF004OLIVEIRA,Marcel Vinìcius MedeirosWOODCOCK,JimBrazilian symposium on formal methods, SBMF 2009<12.;Gramado2009>608053ITsalbcISBD990003415790203316001 LNCS 590239018/CBS00100335481BKSCIANGELA9020100622USA011057Formal methods: foundations and applications1125270UNISA