F-IDE 2022 Talk

Hd-Sec presents two accpeted papers In DETECT 2022 7th Workshop on Formal Integrated Development Environment, Affiliated to SEFM 2022, 26th Nov 2022, Berlin, Germany:

• Building an Extensible Textual Framework for the Rodin Platform. (slides)
• Developing the UML-B modelling tools. (slides)