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
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