Publication Overview

Reinhard Wilhelm and Tomasz Müldner and Raimund Seidel

Algorithm Explanation: Visualizing Abstract States and Invariants

Published in: Software Visualization
Year: 2001
Pages: 381-394