How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
Alfredo Motta worked at Politecnico di Milano doing research in Software Engineering and now works in the IT industry. Their most recent publication is 'A Logic-Based Approach for the Verification of UML Timed Models'.