Crea il mio profilo
Accesso pubblico
Visualizza tutto3 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Jade AlglaveARM and University College LondonEmail verificata su ucl.ac.uk
Peter SewellComputer Laboratory, University of CambridgeEmail verificata su cl.cam.ac.uk
Susmit SarkarProfessor of Computer Science, University of St AndrewsEmail verificata su st-andrews.ac.uk
Cédric FournetMicrosoft ResearchEmail verificata su microsoft.com
Didier RémyINRIAEmail verificata su inria.fr
Georges GonthierPrincipal Researcher, Microsoft ResearchEmail verificata su microsoft.com
Shaked FlurCambridge UniversityEmail verificata su cl.cam.ac.uk
Christopher PulteUniversity of CambridgeEmail verificata su cam.ac.uk
Scott OwensUniversity of KentEmail verificata su kent.ac.uk
Cosimo LaneveProfessor of Computer Science, University of BolognaEmail verificata su unibo.it
ali sezginUniversity of CambridgeEmail verificata su cam.ac.uk
Kathryn E. GrayUniversity of CambridgeEmail verificata su cl.cam.ac.uk
Michael TautschnigQueen Mary University of LondonEmail verificata su qmul.ac.uk
Qin MaUniversity of LuxembourgEmail verificata su uni.lu
Paul McKenneySoftware Engineer, FacebookEmail verificata su meta.com
Alan SchmittInria, IRISAEmail verificata su inria.fr
Louis MandelIBM ResearchEmail verificata su us.ibm.com
Sela Mador-HaimComputer Information Science, University of PennsylvaniaEmail verificata su xcitedb.com
Michael BattyBartlett Professor, Chair CASA, University College LondonEmail verificata su ucl.ac.uk