Logical Correctness - Worskhop at UNILOG'2018

Room / venue details:
Address: 1 avenue des Célestins , Vichy - 03200, France