Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Ábrahám, Erika Heftet / 2016 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II Beyer Dirk Heftet / 2018 / Engelsk
Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings Huisman Marieke Heftet / 2023 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I Beyer Dirk Heftet / 2018 / Engelsk
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings Huisman Marieke Heftet / 2024 / Engelsk
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Huisman Marieke Heftet / 2017 / Engelsk
Formal Methods for Industrial Critical Systems 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings Groote, Jan Friso Heftet / 2022 / Engelsk
Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings Huisman Marieke Heftet / 2021 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III Beyer Dirk Heftet / 2019 / Engelsk
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Barthe Gilles Heftet / 2006 / Engelsk
Concise Guide to Software Verification From Model Checking to Annotation Checking Huisman Marieke Heftet / 2024 / Engelsk
Concise Guide to Software Verification From Model Checking to Annotation Checking Huisman Marieke Innbundet / 2023 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Heftet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Innbundet / 2020 / Engelsk
