"Slicing Event Spaces: Towards a Java Programs Checking Framework."

Néstor Cataño (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics