From Event-B to Lambdapi. - Anne Grieu (ABZ, 2024)

Translating Event-B Models and Development Proofs to TLA+. - Anne Grieu; Jean-Paul Bodeveix; Mamoun Filali (ABZ, 2025)