Gå direkt till innehållet
Automated Technology for Verification and Analysis
Spara

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.
Undertitel
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Upplaga
2009 ed.
ISBN
9783642047602
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2009-09-29
Sidor
414