First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 177-190
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 191-207
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 208-223
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 224-246
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 247-264