Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full pap...
| مؤلفون مشاركون: | , |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | Electronic Resource |
| اللغة: | English |
| منشور في: |
Berlin, Heidelberg
Springer
c2011.
|
| سلاسل: | LNCS sublibrary. SL 2, Programming and software engineering
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |


