First papers for their first authors at iFM and SEFM: congratulations to Yani and Olivia!
https://hal.science/hal-04176159 and https://hal.science/hal-04173428
Languages, Models and Verification
First papers for their first authors at iFM and SEFM: congratulations to Yani and Olivia!
https://hal.science/hal-04176159 and https://hal.science/hal-04173428