کتاب های نویسنده Carroll Morgan (eds.)

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Published on: 2011

Intermediate novel English

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

Formal Methods Mathematical Logic Software Engineering Verification Brazil

Page 1 of 1