Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings (Q1623007)
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. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings |
scientific article; zbMATH DE number 6983412
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings |
scientific article; zbMATH DE number 6983412 |
Statements
Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings (English)
0 references
22 November 2018
0 references
0.97045803
0 references
0.96483225
0 references
0.96339875
0 references
0.9552098
0 references
0.9501508
0 references
0.94935805
0 references
0.9493232
0 references
0.9479292
0 references
0.94518507
0 references
