Gå direkte til innholdet
Automated Technology for Verification and Analysis
Spar

Automated Technology for Verification and Analysis

The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.
Undertittel
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Opplag
2009 ed.
ISBN
9783642047602
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
29.9.2009
Antall sider
414