Dutch Formal Methods Day 2024
Tue 16 Apr 2024 Utrecht, Netherlands
  • Attending
    • Venue: University Library Utrecht Science Park
  • Program
    • Dutch Formal Methods Day Program
    • Your Program
    • Tue 16 Apr
  • Track/Call
  • Organization
      • Dutch Formal Methods Day 2024 Committees
      • Track Committees
      • Organizing Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • Dutch Formal Methods Day 2025
    • Dutch Formal Methods Day 2024
  • Sign in
  • Sign up
Dutch Formal Methods Day 2024 (series) / Marieke Huisman
  • conf.research.org general profile
  • * ICSE 2018 * profile
  • ECOOP 2015 profile
  • ECOOP 2016 profile
  • ECOOP 2022 profile
  • ECOOP and ISSTA 2018 profile
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • FM 2026 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • PLDI 2019 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2024 profile
  • SPLASH 2013 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • STAF 2023 profile
  • ‹Programming› 2021 profile
Marieke Huisman

Registered user since Wed 16 Jan 2019

Name:Marieke Huisman
Country:Netherlands
Affiliation:University of Twente
Personal website: http://wwwhome.cs.utwente.nl/~marieke/

Contributions

2024

Dutch Formal Methods Day

  • VerCors: Inclusive Software Verification

Show activities from other conferences

Share
Dutch Formal Methods Day 2024-profile
View general profile
xMon 16 Jun 14:37

Dutch Formal Methods Day 2024

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Dutch Formal Methods Day 2024

Attending

Venue: University Library Utrecht Science Park
Sign Up