AvCaterina Urban,Gagandeep Singh
975 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.