Login / Signup

Unifying concurrent and relational refinement.

Eerke A. BoitenJohn Derrick
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases