TY  - RPRT
TI  - The B2Scala Tool: Integrating Bach in Scala with Security in Mind
AU  - Doha Ouardi
AU  - Manel Barkallah
AU  - Jean-Marie Jacquet
PY  - 2024
DO  - 10.4204/eptcs.414.4
UR  - https://arxiv.org/abs/2412.08235
ID  - 2412.08235
ER  -