Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers (Q1036135)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers |
scientific article; zbMATH DE number 5625352
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers |
scientific article; zbMATH DE number 5625352 |
Statements
Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers (English)
0 references
5 November 2009
0 references
0.9579567
0 references
0.95633656
0 references
0.95479256
0 references
0 references
0.94396454
0 references
0.9404981
0 references
0.9386797
0 references
0.9351647
0 references
0.9315928
0 references
