Languages
Zeller, Andreas.
Overview
Works: | 24 works in 1 publications in 1 languages |
---|
Titles
Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
SpringerLink (Online service); Zeller, Andreas.; Ziv, Avi.; Workshop on the Preservation of Stability under Discretization ((2001 :); Namjoshi, Kedar.
(Language materials, printed)
Why programs fail = a guide to systematic debugging /
by:
Zeller, Andreas.
(Language materials, printed)