Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler. Building an Extensible Textual Framework for the Rodin Platform. In Paolo Masci 0001, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Volume 13765 of Lecture Notes in Computer Science, pages 132-147, Springer, 2022. [doi]
Abstract is missing.