Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Zuck, Lenore D ; Attie, Paul D ; Cortesi, Agostino ; Mukhopadhyay, Supratik

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível