Safe Pointers by Graph Transformation

Activity: Talk or presentation › Invited talk

Period23 Jan 2007
Held atCarl von Ossietzky Universität Oldenburg, Germany