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
Shaked FlurCambridge UniversityEmail verificata su cl.cam.ac.uk
Georges GonthierPrincipal Researcher, Microsoft ResearchEmail verificata su microsoft.com
Scott OwensUniversity of KentEmail verificata su kent.ac.uk
ali sezginUniversity of CambridgeEmail verificata su cam.ac.uk
Kathryn E. GrayUniversity of CambridgeEmail verificata su cl.cam.ac.uk
Cosimo LaneveProfessor of Computer Science, University of BolognaEmail verificata su unibo.it
Paul McKenneySoftware Engineer, FacebookEmail verificata su meta.com
Michael TautschnigQueen Mary University of LondonEmail verificata su qmul.ac.uk
Qin MaUniversity of LuxembourgEmail verificata su uni.lu
Louis MandelIBM ResearchEmail verificata su us.ibm.com
Alan SchmittInria, IRISAEmail verificata su inria.fr
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