Thierry Lecomte. Mathematical Proofs and Moving Trains: The Double Life of Atelier B. In Michael Leuschel, Fuyuki Ishikawa, editors, Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings. Volume 15728 of Lecture Notes in Computer Science, pages 3-11, Springer, 2025. [doi]
Abstract is missing.