https://www.utwente.nl/en/eemcs/fmt/neo-news/2024/1/1297520/papers-of-the-month-january-2024
Papers of the month: January 2024
Each month, the Formal Methods and Tools (FMT) group selects papers to highlight. For this month, they've chosen:
papers of the monthjanuary2024