Title: Introduction to Verification of Vis
Subjects: Information visualization, Computer software, verification