https://verifixer.github.io/event/example/2030-06-01T13:00:00+00:00weeklyhttps://verifixer.github.io/event/2030-06-01T13:00:00+00:00weeklyhttps://verifixer.github.io/publication-type/1/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/author/alexandra-mendes/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/author/alexandre-abreu/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/author/alvaro-silva/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/authors/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/publication/2025/sefm_dafnystudy/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/author/carolina-carreira/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/publication_types/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/publication/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/publication/2025/sefm_repair/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/author/valentina-wu/2025-09-07T00:00:00+00:00weeklyhttps://verifixer.github.io/author/francisco-oliveira/2025-07-20T00:00:00+00:00weeklyhttps://verifixer.github.io/publication/2025/issre/2025-07-20T00:00:00+00:00weeklyhttps://verifixer.github.io/post/2025-06-03T00:00:00+00:00weeklyhttps://verifixer.github.io/post/2025-06-03-amazon-research-awards/2025-06-03T00:00:00+00:00weeklyhttps://verifixer.github.io/post/25-05-25-ecoop-contracts/2025-05-25T00:00:00+00:00weeklyhttps://verifixer.github.io/publication/2025/ecoop/2025-02-28T00:00:00+00:00weeklyhttps://verifixer.github.io/author/david-ferreira/2025-02-28T00:00:00+00:00weeklyhttps://verifixer.github.io/author/joao-f.-ferreira/2025-02-28T00:00:00+00:00weeklyhttps://verifixer.github.io/publication-type/paper-conference/2025-02-28T00:00:00+00:00weeklyhttps://verifixer.github.io/2022-10-24T00:00:00+00:00weeklyhttps://verifixer.github.io/contact/2022-10-24T00:00:00+00:00weeklyhttps://verifixer.github.io/people/2022-10-24T00:00:00+00:00weeklyhttps://verifixer.github.io/tour/2022-10-24T00:00:00+00:00weeklyhttps://verifixer.github.io/admin/weeklyhttps://verifixer.github.io/author/alvaro-silva/weeklyhttps://verifixer.github.io/categories/weeklyhttps://verifixer.github.io/author/isabel-amaral/weeklyhttps://verifixer.github.io/author/joao-pascoal-faria/weeklyhttps://verifixer.github.io/author/ruben-martins/weeklyhttps://verifixer.github.io/author/sofia-vieira-pinto/weeklyhttps://verifixer.github.io/tags/weeklyhttps://verifixer.github.io/about/weekly