Login / Signup

Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.

Michel Bidoit
Published in: ICALP (1984)
Keyphrases