[Mittagsseminar TI] Mittagsseminar 16.11.2023


Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am
	Donnerstag, 16.11.2023, 12:00 Uhr, SR 051, Takustraße 9
	László Kozma
	zum Thema: Verification through randomness.