1.
Tools And Algorithms for the Construction And Analysis of Systems 11th International Confere...
by Halbwachs, Nicolas, Zuck, L...
ISBN: 9783540253334
List Price: $104.00
2.
Verification, Model Checking, and Abstract Interpretation 4th International Conference, Vmca...
by Zuck, Lenore D.
ISBN: 9783540003489
List Price: $79.95
3.
Verification, Model Checking, and Abstract Interpretation
by Zuck, Lenore D., Attie, Pau...
ISBN: 9783662169674
List Price: $24.99