Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science)Viktor Kuncak

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science)

Name: Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science)
ISBN: 9783642279393

Viktor Kuncak, Andrey Rybalchenko · 2012

Where to buy

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

View on Amazon

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

Book details

Year: 2012
Publisher: Springer
Editions: 1
Pages: 457
ISBN: 9783642279393

Data source: Wikidata

More by Viktor Kuncak

Verification, Model Checking, and Abstract InterpretationViktor Kuncak

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak · 2012