April 19, 2024
Meta-Programming Event-B - Advancing Tool Support and Language Extensions
Authors
Julius Armbrüster, Philipp Körner
Venue
ABZ 2024
Bibtex
@InProceedings(lisb-eventb,
Author = {Julius Armbrüster and Philipp Körner},
Title = {{Meta-Programming Event-B --- Advancing Tool Support and Language Extensions}},
Booktitle = {Proceedings ABZ (International Conference on Rigorous State-Based Methods)},
Year = 2024,
Series = {Lecture Notes in Computer Science},
Pages = {233--240},
Volume = {14759},
Publisher = {Springer},
)
