PADTAD 2007: London, UK

Debugging MPD programs

Bug patterns in MPD programs

Formal and healing

a service of Schloss Dagstuhl - Leibniz Center for Informatics