Model transformation and property preservation in rigorous software development: A systematic literature review

Gullelala Jadoon, Maurice H. ter Beek, Alessio Ferrari 0001. Model transformation and property preservation in rigorous software development: A systematic literature review. Journal of Systems and Software, 230:112508, 2025. [doi]

Abstract

Abstract is missing.