On October 11th, Dennis Reimer will give an intermediate talk about his project Zeitlich genaue SAT-basierte Testmustererzeugung. The talk will start at 9:30 am in our seminar room (P1.6.17.1). Everyone interested is cordially invited to join!
On October 11th, Dennis Reimer will give an intermediate talk about his project Zeitlich genaue SAT-basierte Testmustererzeugung. The talk will start at 9:30 am in our seminar room (P1.6.17.1). Everyone interested is cordially invited to join!