Siirry suoraan sisältöön
Automated Technology for Verification and Analysis
Tallenna

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.
Alaotsikko
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Painos
2009 ed.
ISBN
9783642047602
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
29.9.2009
Sivumäärä
414