|
|||||
|
|
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011) |
|
| Affiliation: | Departamento de Sistemas de Computacao, Instituto de Ciencias Matematicas e de Computacao, Universidade de São Paulo, Brazil;School of Computer Science and Engineering, University of NSW, Australia |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |