Login / Signup

A method of refinement in UML-B.

Mar Yah SaidMichael J. ButlerColin F. Snook
Published in: Softw. Syst. Model. (2015)
Keyphrases