Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers Roggenbach Markus Heftet / 2021 / 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
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers James Phillip Heftet / 2017 / Engelsk
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Haxthausen Anne E. Heftet / 2023 / Engelsk
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings Fiadeiro, José Luis Heftet / 2005 / Engelsk
On the Construction of Engineering Handbooks with an Illustration from the Railway Safety Domain Gruner Stefan Heftet / 2020 / Engelsk
Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Heftet / 2023 / Engelsk
Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Innbundet / 2022 / Engelsk
