10. okt. 2023, kl. 12.15-13.00 DIKU Bits: Randomly finding bugs Join us when Ken Friis Larsen from the Programming Languages and Theory of Computation (PLTC)…