کتاب های نویسنده David Naumann (eds.)

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Published on: 2012

Intermediate novel English

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, …

Formal Methods Foundations SBMF 2012 Symposium Proceedings

Page 1 of 1