STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Marieke Huisman | lit.salon
Marieke Huisman
No bio available.
Add one in Open Library.
Books by Marieke Huisman (50 max)
+ shelf
+ list
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint ...
2018
Dirk Beyer, Marieke Huisman
+ shelf
+ list
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
2005
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
+ shelf
+ list
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
2016
Erika Ábrahám, Marieke Huisman
+ shelf
+ list
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...
2019
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
+ shelf
+ list
Concise Guide to Software Verification: From Model Checking to Annotation Checking
2023
Marieke Huisman, Anton Wijs
+ shelf
+ list
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
2009
Marieke Huisman
+ shelf
+ list
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
2017
Marieke Huisman, Julia Rubin
+ shelf
+ list
Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
2021
Marieke Huisman, Corina Pasareanu, Naijun Zhan
+ shelf
+ list
Formal Methods for Industrial Critical Systems 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
2022
Jan Friso Groote, Marieke Huisman
+ shelf
+ list
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
2023
Marieke Huisman, António Ravara
+ shelf
+ list
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
2024
Marieke Huisman, Falk Howar
