Books of Bill Roscoe (eds.)

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Published on: 2016

Intermediate novel English

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in …

Formal Methods Symposium Proceedings Brazil 2015

Page 1 of 1