Login / Signup

Testing Algebraic Data Types and Processes: A Unifying Theory.

Marie-Claude GaudelPerry R. James
Published in: Formal Aspects Comput. (1998)
Keyphrases