내 프로필 만들기
공개 액세스
모두 보기자료 17개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
- Marcin JurdzińskiUniversity of Warwick, Department of Computer Sciencewarwick.ac.uk의 이메일 확인됨
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)lmf.cnrs.fr의 이메일 확인됨
- Filip MazowieckiUniversity of Warsawmimuw.edu.pl의 이메일 확인됨
- Slawomir LasotaUniversity of Warsaw, prof. of computer sciencemimuw.edu.pl의 이메일 확인됨
- Sylvain SchmitzUniversité Paris Citéirif.fr의 이메일 확인됨
- Jerome LerouxCNRS researcher, LaBRI, Francelabri.fr의 이메일 확인됨
- James WorrellProfessor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
- Aleksandar S. DimovskiMother Teresa University, Skopjeunt.edu.mk의 이메일 확인됨
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Patrick TotzkeUniversity of Liverpoolliverpool.ac.uk의 이메일 확인됨
- Wojciech CzerwinskiUniversity of Warsawmimuw.edu.pl의 이메일 확인됨
- Laure DaviaudUniversity of East Angliauea.ac.uk의 이메일 확인됨
- Matthias EnglertUniversity of Warwickwarwick.ac.uk의 이메일 확인됨
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of Birminghamcs.bham.ac.uk의 이메일 확인됨
- Oded LachishBirkbeck, University of Londondcs.bbk.ac.uk의 이메일 확인됨
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, Italyunige.it의 이메일 확인됨
- Piotrek HofmanUniversity of Warsawmimuw.edu.pl의 이메일 확인됨
- Christoph HaaseUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Lorenzo ClementeUniversity of Warsawmimuw.edu.pl의 이메일 확인됨