"Verification of Picture Generated Code."

Colin O'Halloran, Alf Smith (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics