Marcello D’Agostino and Giuseppe Primiero are invited speakers at the Workshop on Assertion and Proof at the University of Lecce https://sites.google.com/view/assertionproof
Events
Workshop: Assertion and Proof 2019
Date12 Sep 2019
LocationLecce
Events
Marcello D’Agostino and Giuseppe Primiero are invited speakers at the Workshop on Assertion and Proof at the University of Lecce https://sites.google.com/view/assertionproof