Login / Signup

A CSP Account of Event-B Refinement

Steve A. SchneiderHelen TreharneHeike Wehrheim
Published in: Refine@FM (2011)
Keyphrases