Research software from the integrated Formal Methods (iFM) conference 2023

Science of Computer Programming, vol. 248, pp. 103384

Authors 3

1. Paula Herber corresponding

   University of Münster

   Affiliation as printed

   University of Münster, Germany

2. Muhammad Osama corresponding Aachen

   Leiden University

   Affiliation as printed

   Leiden University, the Netherlands

3. Anton Wijs corresponding

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology, the Netherlands