2011
2006
2005
2004
2003
- Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, ProceedingsLenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, editors, Volume 2575 of Lecture Notes in Computer Science, Springer, 2003.
2002
2001
2000
1999
1998
1997
1996
1995
1993
1990
1989