Workshop on Logical Correctness (WoLC)

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