8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 158-172
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 173-187
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 188-204
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 205-220