Iat Tou Leong vai defender a sua tese de doutoramento “Automated Synthesis of Software Specifications from Requirements”, no dia 3 de novembro, às 09h15, na sala A5.4.