Start Over
You searched for: author_facet Huisman, Marieke

Search Results

Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Location
Access Content Online
Cover image for Concise Guide to Software Verification

Concise Guide to Software Verification

Location
Access Content Online
Cover image for Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Location
Access Content Online
Cover image for Formal Methods for Industrial Critical Systems 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Formal Methods for Industrial Critical Systems 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Location
Access Content Online
Cover image for Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Location
Access Content Online
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS

Location
Access Content Online
Cover image for 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

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

Location
Access Content Online
Cover image for 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

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

Location
Access Content Online
Cover image for 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

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

Location
Access Content Online
Cover image for Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Location
Access Content Online