Professor Dino Distefano
Professor of Software Verification
Email: d.distefano@qmul.ac.ukTelephone: +44 20 7882 8794Room Number: Peter Landin, CS 430Website: http://www.eecs.qmul.ac.uk/~ddinoOffice Hours: Monday 11:00-12:00
Email: d.distefano@qmul.ac.ukTelephone: +44 20 7882 8794Room Number: Peter Landin, CS 430Website: http://www.eecs.qmul.ac.uk/~ddinoOffice Hours: Monday 11:00-12:00