Boris Ulitin, Eduard Babkin, Tatiana Babkina, Arsenii Vizgunov. Automated Formal Verification of Model Transformations Using the Invariants Mechanism. In Malgorzata Pankowska, Kurt Sandkuhl, editors, Perspectives in Business Informatics Research - 18th International Conference, BIR 2019, Katowice, Poland, September 23-25, 2019, Proceedings. Volume 365 of Lecture Notes in Business Information Processing, pages 59-73, Springer, 2019. [doi]
Abstract is missing.