All Stories

  1. Formal Methods in Industry

    Article • Formal Aspects of Computing, December 2024, ACM (Association for Computing Machinery)

    Prof. Dr. Kristin Yvonne Rozier, Ivo ter Horst