Crossmark

Formal verification of static software models in MDE: A systematic review

Crossref DOI link: https://doi.org/10.1016/j.infsof.2014.03.003

Published Print: 2014-08

Update policy: https://doi.org/10.1016/elsevier_cm_policy

Authors

González, Carlos A.

Cabot, Jordi
More Information

This article is maintained by: Elsevier

Article Title: Formal verification of static software models in MDE: A systematic review

Journal Title: Information and Software Technology

CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.infsof.2014.03.003

Content Type: article

Copyright: Copyright © 2014 Elsevier B.V. All rights reserved.