Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers Oliveira, Marcel Vinícius Medeiros Heftet / 2009 / Engelsk
