کتاب های نویسنده Narciso Martí-Oliet (eds.)

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Published on: 2015

Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in …

Formal Methods Verification Symposium SBMF 2014 Proceedings

Page 1 of 1