Login / Signup

A Survey on Event-B Decomposition.

Thai Son HoangAlexei IliasovRenato SilvaWei Wei
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases