Dive into the research topics where Formal Methods and Tools is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.


Recent external collaboration on country level. Dive into details by clicking on the dots or
  • Atelier Hands-On Training

    Blaas, R., Fehnker, A. & Mader, A. H., 1 Jun 2021

    Research output: Non-textual formDigital or Visual ProductsProfessional

    Open Access
  • Etaps foreword

    Huisman, M., 2021, Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • Modeling Diagnostic Strategies to Manage Toxic Adverse Events following Cancer Immunotherapy

    van Delft, F., Muller, M., Langerak, R., Koffijberg, H., Retèl, V., van den Broek, D. & IJzerman, M., 21 Feb 2021, (Accepted/In press) In: Medical decision making. 13 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    6 Downloads (Pure)