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},
)

Available at:

About

Tags: publications tools B Clojure lisb