Books of José Fiadeiro (eds.)

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Published on: 2017

Intermediate novel English

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in …

Formal Methods Foundations Applications Symposium Proceedings

Page 1 of 1