Login / Signup

A Rigorous Reasoning about Model Transformations Using the B Method.

Akram IdaniYves LedruAdil Anwar
Published in: BMMDS/EMMSAD (2013)
Keyphrases