Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings (Q949001)
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: Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings |
scientific article; zbMATH DE number 5351940
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings |
scientific article; zbMATH DE number 5351940 |
Statements
Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings (English)
0 references
16 October 2008
0 references
0.93410283
0 references
0.93405855
0 references
0.9234438
0 references
0.91610765
0 references
0.91609967
0 references
0.91537535
0 references
0.91342497
0 references
0 references
0.9108901
0 references
