Related Books
Language: en
Pages: 360
Pages: 360
Type: BOOK - Published: 2009-11-09 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Language: en
Pages: 299
Pages: 299
Type: BOOK - Published: 2011-03-17 - Publisher: Springer
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, i
Language: en
Pages: 258
Pages: 258
Type: BOOK - Published: 2016-11-12 - Publisher: Springer
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016
Language: en
Pages: 252
Pages: 252
Type: BOOK - Published: 2013-08-30 - Publisher: Springer
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Language: en
Pages: 308
Pages: 308
Type: BOOK - Published: 2017-11-17 - Publisher: Springer
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/De