Giuseppe Perelli

Postdoc, Formal Methods division, Department of Computer Science and Engineering.

Published: Wed 14 Aug 2019.