Login / Signup

From Kleene Algebra to Refinement Algebra.

Joakim von Wright
Published in: MPC (2002)
Keyphrases