Login / Signup

The Unit-B method: refinement guided by progress concerns.

Simon HudonThai Son HoangJonathan S. Ostroff
Published in: Softw. Syst. Model. (2016)
Keyphrases