@inproceedings{PascualBeckertUlbrichKirstenPfeifer2024, author = {Romain Pascual and Bernhard Beckert and Mattias Ulbrich and Michael Kirsten and Wolfram Pfeifer}, title = {Formal Foundations of Consistency in Model-Driven Development}, booktitle = {Proceedings of ISOLA 2024}, year = {2024}, series = {LNCS}, note = {To appear.} }
Formal Foundations of Consistency in Model-Driven Development
Author(s): | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, and Wolfram Pfeifer |
---|---|
In: | Proceedings of ISOLA 2024 |
Series: | LNCS |
Year: | 2024 |
Preprint/PDF: | convide-isola2024.pdf |
Note
To appear.