Interpreted COSY Programs: Programming and Verification.

Peter E. Lauer, M. W. Shields

Browse the full ICDCS paper archive.