Crossmark

Alliance of model-driven engineering with a proof-based formal approach

Crossref DOI link: https://doi.org/10.1007/s11334-020-00366-3

Published Online: 2020-06-01

Published Print: 2020-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Idani, Akram https://orcid.org/0000-0003-2267-3639
Ledru, Yves

Vega, German
License Information

Text and Data Mining valid from 2020-06-01

Version of Record valid from 2020-06-01
More Information

Article History

Received: 30 November 2018

Accepted: 18 May 2020

First Online: 1 June 2020