Login / Signup

Modelling Divergence in Relational Concurrent Refinement.

Eerke A. BoitenJohn Derrick
Published in: IFM (2009)
Keyphrases