Electronic Notes in Theoretical Computer Science, Volume 240

Refine list

showing all ?? records

Volume 240, July 2009

Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Brazil, 26-29 August 2008
a service of  Schloss Dagstuhl - Leibniz Center for Informatics