Static AnalysisRoberto Giacobazzi
Static Analysis
Roberto Giacobazzi · 2004
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2004
- Language
- English
- Publisher
- Springer
- Editions
- 2
- Pages
- 393
- ISBN
- 9783540227915
Data source: Wikidata
More by Roberto Giacobazzi
Verification, Model Checking, and Abstract InterpretationRoberto Giacobazzi
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi · 2013
POPL'13Roberto Giacobazzi
POPL'13
Roberto Giacobazzi · 2013
Proceedings of the 7th Workshop on Programming Languages Meets Program VerificationRoberto Giacobazzi
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification
Roberto Giacobazzi · 2013