FDFrancesco Del Duchetto0000-0002-3627-317XFollowUsage metrics Co-workers & collaboratorsMHMarc HanheideMarc HanheidePBPaul BaxterSenior Lecturer in Computer Science (Autonomous Systems)Paul BaxterRPRiccardo PolvaraRiccardo PolvaraLGLeonardo GuevaraLeonardo GuevaraAKAyse KucukyilmazAyse KucukyilmazNWNikolaus WagnerNikolaus Wagner