Skip to content

Proof-Outlines for Threads in Java.

Erika brahm-Mumm, Frank S. de Boer

VenueBCONCUR
Year2000
ProceedingsCONCUR

Browse the full CONCUR paper archive.