Related Books

Formal Methods: Foundations and Applications
Language: en
Pages: 360
Authors: Marcel Vinícius Medeiros Oliveira
Categories: Computers
Type: BOOK - Published: 2009-11-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Formal Methods: Foundations and Applications
Language: en
Pages: 299
Authors: Jim Davies
Categories: Computers
Type: BOOK - Published: 2011-03-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, i
Formal Methods: Foundations and Applications
Language: en
Pages: 258
Authors: Leila Ribeiro
Categories: Computers
Type: BOOK - Published: 2016-11-12 - Publisher: Springer

DOWNLOAD EBOOK

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
Formal Methods: Foundations and Applications
Language: en
Pages: 252
Authors: Juliano Iyoda
Categories: Computers
Type: BOOK - Published: 2013-08-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Formal Methods: Foundations and Applications
Language: en
Pages: 308
Authors: Simone Cavalheiro
Categories: Computers
Type: BOOK - Published: 2017-11-17 - Publisher: Springer

DOWNLOAD EBOOK

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