Verification, Model Checking, and Abstract Interpretation [E-Book] : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings / edited by Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay.
Attie, Paul C.
Cortesi, Agostino. / Mukhopadhyay, Supratik. / Zuck, Lenore D.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
online resource
englisch
9783540363842
Lecture notes in computer science ; 2575
Full Text
Description not available.