Algorithm Explanation: Visualizing Abstract States and Invariants

Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel. Algorithm Explanation: Visualizing Abstract States and Invariants. In Stephan Diehl, editor, Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures. Volume 2269 of Lecture Notes in Computer Science, pages 381-394, Springer, 2001. [doi]

Authors

Reinhard Wilhelm

This author has not been identified. Look up 'Reinhard Wilhelm' in Google

Tomasz Müldner

This author has not been identified. Look up 'Tomasz Müldner' in Google

Raimund Seidel

This author has not been identified. Look up 'Raimund Seidel' in Google