It looks like you're offline.

Last edited by MARC Bot

July 8, 2019 | History

Edit

Viktor Kuncak

We need a photo of Viktor Kuncak

2 works Add another?

Most Editions

Preview

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

by Viktor Kuncak First published in 2012
1 edition, 1 ebook

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

by Viktor Kuncak and Andrey Rybalchenko First published in 2012
1 edition

Learn More

We need a photo of Viktor Kuncak

ID Numbers

OLID: OL7580907A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON