Local Verification of Global Proofs

Laurent Feuilloley, Juho Hirvonen

CEA Saclay, CEA, Centre National de la Recherche Scientifique (CNRS), PRES University Sorbonne Paris Cite, University of Paris Diderot - Paris VII, Univ Paris Diderot, CNRS, CEA DSM,IRFU,Serv Astrophys,Lab AIM

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

24 Lataukset (Pure)

Computer Science