DBTG Meeting: 24.1.2012

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.