@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
| Autor(en): | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten und Wolfram Pfeifer |
|---|---|
| In: | Proceedings of ISOLA 2024 |
| Reihe: | LNCS |
| Jahr: | 2024 |
| Preprint/PDF: | convide-isola2024.pdf |
Anmerkung
To appear.