Giorgio Cignarale is a Ph.D. student, member of the LogiCS doctoral
college at TU Wien in Vienna, Austria, under the supervision of Roman
Kuznets and Ulrich Schmid.
Giorgio Cignarale is a Ph.D. student, member of the LogiCS doctoral
college at TU Wien in Vienna, Austria, under the supervision of Roman
Kuznets and Ulrich Schmid.