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]
@inproceedings{FerrandoLM25,
title = {Auto-Generating Visual Editors for Formal Logics with Blockly},
author = {Angelo Ferrando 0001 and Peng Lu and Vadim Malvone},
year = {2025},
doi = {10.1007/978-3-032-10794-7_22},
url = {https://doi.org/10.1007/978-3-032-10794-7_22},
researchr = {https://researchr.org/publication/FerrandoLM25},
cites = {0},
citedby = {0},
pages = {451-459},
booktitle = {Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings},
editor = {Ferruccio Damiani and Marie Farrell},
volume = {16194},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-032-10794-7},
}