Navigation auf uzh.ch
Martin Noack will giva a talk "Design and implementation of a correctness checker for the Oshiya demo application". The meeting takes place at 1400h in BIN 1.D.07. The talk is held in English.