All Stories

  1. Finding errors in tools that check the correctness of programs.

    Article • October 2024, ACM (Association for Computing Machinery)

    Markus Fleischmann