POPL'13Roberto Giacobazzi

POPL'13

Roberto Giacobazzi · 2013

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2013
Language: English
Publisher: Association for Computing Machinery
Editions: 1
ISBN: 9781450318327

Data source: Wikidata

More by Roberto Giacobazzi

Verification, Model Checking, and Abstract InterpretationRoberto Giacobazzi

Verification, Model Checking, and Abstract Interpretation

Roberto Giacobazzi · 2013

Static AnalysisRoberto Giacobazzi

Static Analysis

Roberto Giacobazzi · 2004

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