Verification, Model Checking, and Abstract InterpretationViktor Kuncak

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak · 2012

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: 2012
Language: English
Series: Lecture Notes in Computer Science -- 7148
Publisher: Springer Berlin Heidelberg
Editions: 1
ISBN: 9783642279409

Data source: Wikidata

More by 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)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)

Viktor Kuncak · 2012