Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures Cerone Antonio Heftet / 2023 / Engelsk
Theoretical Aspects of Computing -- ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings Cerone Antonio Heftet / 2011 / Engelsk
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers Cerone Antonio Heftet / 2018 / Engelsk
Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers Cerone Antonio Heftet / 2021 / Engelsk
Software Engineering and Formal Methods 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings de Boer, Frank Heftet / 2020 / Engelsk
Theoretical Aspects of Computing – ICTAC 2021 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings Cerone Antonio Heftet / 2021 / Engelsk
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings Barkaoui Kamel Heftet / 2006 / Engelsk
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
