Skapa en profil
Offentlig åtkomst
Visa alla2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- John PowerHonorary Professor in Computing, Macquarie UniversityVerifierad e-postadress på bath.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerifierad e-postadress på cs.ox.ac.uk
- Uday ReddyUniversity of BirminghamVerifierad e-postadress på cs.bham.ac.uk
- Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonVerifierad e-postadress på qmul.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerifierad e-postadress på math.ist.utl.pt
- Alessio SantamariaLecturer at the University of SussexVerifierad e-postadress på sussex.ac.uk
- Marta BungeEmeritus Professor of Mathematics, McGill UniversityVerifierad e-postadress på mcgill.ca
Följ