Animating Z: Interactivity, Transparency and Equivalence.

Mark Utting

Browse the full APSEC paper archive.