APA (7th ed.) Citation

Körner, P., Mager, F., & Roßbach, J. (2025). A case for data-oriented specifications: Simpler implementation of B tools and DSLs. Innovations in systems and software engineering, 21(3), 939-959. https://doi.org/10.1007/s11334-025-00596-3

Chicago Style (17th ed.) Citation

Körner, Philipp, Florian Mager, and Jan Roßbach. "A Case for Data-oriented Specifications: Simpler Implementation of B Tools and DSLs." Innovations in Systems and Software Engineering 21, no. 3 (2025): 939-959. https://doi.org/10.1007/s11334-025-00596-3.

MLA (9th ed.) Citation

Körner, Philipp, et al. "A Case for Data-oriented Specifications: Simpler Implementation of B Tools and DSLs." Innovations in Systems and Software Engineering, vol. 21, no. 3, 2025, pp. 939-959, https://doi.org/10.1007/s11334-025-00596-3.