March 15, 2025
A case for data-oriented specifications: simpler implementation of B tools and DSLs
Authors
Philipp Körner, Florian Mager, Jan Roßbach
Venue
STTT
Bibtex
@article{koerner2025-lisb-journal,
author = {Philipp Körner and Florian Mager and Jan Roßbach},
title = {{A case for data-oriented specifications: simpler implementation of B tools and DSLs}},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2025},
volume = TBD,
pages = {TBD},
note = {Special Issue on Models/MoDeVVa'22 & SAM'22}
}
