Books of Leonardo de Moura (eds.)

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Published on: 2013

Intermediate novel English

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, …

Formal Methods Symposium Applications Proceedings SBMF 2013

Page 1 of 1