![](/img/cover-not-exists.png)
Alliance of model-driven engineering with a proof-based formal approach
Idani, Akram, Ledru, Yves, Vega, GermanJournal:
Innovations in Systems and Software Engineering
DOI:
10.1007/s11334-020-00366-3
Date:
June, 2020
File:
PDF, 2.41 MB
2020