Authors books
A B C D
E F G H
I J K L
M N O P
Q R S T
U V W X
Y Z Ø
Leonore D. Zuck
download Leonore D. Zuck books online free pdf mp3 torrent
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008


Doron A. Peled, Francesco Logozzo, Leonore D. Zuck



The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract In...
download Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008