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
- Michael TautschnigQueen Mary University of LondonEmail verificata su qmul.ac.uk
- ali sezginUniversity of CambridgeEmail verificata su cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeEmail verificata su cl.cam.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