Cargando…
Formal methods: 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011, proceedings
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2011
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2761719 |