"The CORE system: Animation and functional correctness of pointer programs."

Ewen Maclean, Andrew Ireland, Gudmund Grov (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics