September 8, 2022

An Embedding of B in Clojure

Authors

Philipp Körner, Florian Mager

Venue

MoDeVVa 2022

Bibtex

@inproceedings{lisb,
  author = {K\"{o}rner, Philipp and Mager, Florian},
  title = {{An Embedding of B in Clojure}},
  year = {2022},
  publisher = {ACM},
  booktitle = {Companion Proceedings MODELS (International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings)},
  pages = {598–606},
}

Available at:

About

Tags: publications tools B Clojure lisb