Login / Signup

Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008).

Patrícia D. L. Machado
Published in: Sci. Comput. Program. (2012)
Keyphrases