Project members

Members can be added by project Maintainers or Owners

Account	Source	Activity
Castor de Lima Filho, Fernando (UT-EEMCS) @fernandocastor	Inherited from Formal Methods and Tools	Sep 14, 2023 Mar 21, 2024 Apr 15, 2025
Dijk, Tom van (UT-EEMCS) @tvandijk	Inherited from Formal Methods and Tools	Sep 28, 2020 Nov 18, 2020 Apr 15, 2025
Huisman, Marieke (UT-EEMCS) @m7688543	Inherited from Formal Methods and Tools	Oct 19, 2020 Apr 09, 2021 Apr 01, 2025
Marielle @m7680523	Inherited from Formal Methods and Tools	Nov 18, 2020 Apr 09, 2021 Nov 14, 2022
Rensink @m7644387	Inherited from Formal Methods and Tools / GROOVE tool for graph transformation and verification	Nov 18, 2020 Mar 27, 2024 Apr 16, 2025