Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Innbundet / 2022 / Engelsk
Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Heftet / 2023 / Engelsk
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers Cerone Antonio Heftet / 2014 / Engelsk
