Concise Guide to Software Verification From Model Checking to Annotation Checking Huisman Marieke Innbundet / 2023 / Engelsk
Concise Guide to Software Verification From Model Checking to Annotation Checking Huisman Marieke Heftet / 2024 / Engelsk
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings Herber Paula Heftet / 2023 / Engelsk
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings Neele, Thomas Heftet / 2024 / Engelsk
Formal Aspects of Component Software 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings Salaün, Gwen Heftet / 2021 / Engelsk
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings Bošnački, Dragan Heftet / 2016 / Engelsk
