Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings (Q451070)
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. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings |
scientific article; zbMATH DE number 6087379
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings |
scientific article; zbMATH DE number 6087379 |
Statements
Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings (English)
0 references
27 September 2012
0 references
0.9741378
0 references
0.97289944
0 references
0.97131956
0 references
0.9658165
0 references
0.96115947
0 references
0.96085864
0 references
0.95479256
0 references
0.95149064
0 references
0.9506165
0 references
