Navigation auf uzh.ch

Suche

Department of Informatics Database Technology

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.