Leila Silva

1 published title

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

(Contributor)

1 edition