https://colinthomas-pro.github.io/2022-10-24T00:00:00+00:00weeklyhttps://colinthomas-pro.github.io/publication-type/2/2023-01-25T16:11:27+01:00weeklyhttps://colinthomas-pro.github.io/publication/thomas-model-checking-2022/2023-01-25T16:11:27+01:00weeklyhttps://colinthomas-pro.github.io/publication_types/2023-01-25T16:11:27+01:00weeklyhttps://colinthomas-pro.github.io/publication/2023-01-25T16:11:27+01:00weeklyhttps://colinthomas-pro.github.io/publication-type/0/2023-01-25T16:11:26+01:00weeklyhttps://colinthomas-pro.github.io/publication-type/1/2023-01-25T16:11:26+01:00weeklyhttps://colinthomas-pro.github.io/publication/pommereau-eden-2022/2023-01-25T16:11:26+01:00weeklyhttps://colinthomas-pro.github.io/publication/herve-is-2022/2023-01-25T16:11:26+01:00weeklyhttps://colinthomas-pro.github.io/publication/pommereau-petri-2022/2023-01-25T16:11:26+01:00weeklyhttps://colinthomas-pro.github.io/admin/weeklyhttps://colinthomas-pro.github.io/categories/weeklyhttps://colinthomas-pro.github.io/tags/weekly