The lectures in Formal Methods in Computer Science

The lectures in Formal Methods in Computer Science, Master degree in Computer Science,   will start 10/5/2021, h 10.45 am (Tuesday 5).

Giovanni Pani