Huisman, Marieke
Huisman, M. (Marieke), 1973-
Huisman, M.
Marieke Huisman
Huisman, Marieke 1973-
VIAF ID: 194552144 ( Personal )
Permalink: http://viaf.org/viaf/194552144
Preferred Forms
- 100 1 _ ‡a Huisman, M.
-
- 100 1 _ ‡a Huisman, Marieke
-
-
- 100 1 _ ‡a Huisman, Marieke
- 100 1 _ ‡a Huisman, Marieke ‡d 1973-
- 100 0 _ ‡a Marieke Huisman
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Binary addition in lego | |
A case study in class library verification: Java's vector class | |
A comparison of PVS and Isabelle/HOL | |
Concise Guide to Software Verification : From Model Checking to Annotation Checking | |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers | |
Designing a satellite tracking system with the use of PVS and maple | |
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings | |
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 | |
Integrated formal methods, [2016]: | |
Java program verification via a Hoare logic with abrupt termination | |
Méthodes formelles pour la vérification des programmes Java | |
Reasoning about Java programs in higher order logic using PVS and Isabelle | |
Software reliability for everyone | |
Spécification et vérification de programmes orientés-objets et parallèles en logique de séparation. | |
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 | |
Vérification d'un glaneur de cellules concurrent. |