Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version).

Frank A. Stomp

Browse the full CONCUR paper archive.