Login / Signup

Subsitution: A Formal Methods Case Study Using Monads and Transformations.

Françoise BellegardeJames Hook
Published in: Sci. Comput. Program. (1994)
Keyphrases