Angelo Ferrando 0001, Peng Lu, Vadim Malvone. Auto-Generating Visual Editors for Formal Logics with Blockly. In Ferruccio Damiani, Marie Farrell, editors, Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings. Volume 16194 of Lecture Notes in Computer Science, pages 451-459, Springer, 2025. [doi]
Abstract is missing.