내 프로필 만들기
공개 액세스
모두 보기자료 7개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)lmf.cnrs.fr의 이메일 확인됨
- Jules VillardImperial College Londonimperial.ac.uk의 이메일 확인됨
- Martin LangeProfessor of Computer Science, University of Kasseluni-kassel.de의 이메일 확인됨
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))univ-cotedazur.fr의 이메일 확인됨
- Davide SangiorgiProfessor of Computer Science, University of Bolognacs.unibo.it의 이메일 확인됨
- Laetitia LaversaPostdoc, INRAEinrae.fr의 이메일 확인됨
- Alain FinkelLSV ENS Paris Saclaylsv.fr의 이메일 확인됨
- Florian BruseUniversity of Kasseluni-kassel.de의 이메일 확인됨
- Alessio MansuttiIMDEA Software Instituteimdea.org의 이메일 확인됨
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, Italyunige.it의 이메일 확인됨
- Naoki KobayashiThe University of Tokyois.s.u-tokyo.ac.jp의 이메일 확인됨
- Kshitij Bansalkshitij.iokshitij.io의 이메일 확인됨
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-Saclaylsv.ens-cachan.fr의 이메일 확인됨
- Amrita SureshPhD student, ENS Paris Saclayens-paris-saclay.fr의 이메일 확인됨
- Florent JacquemardInriainria.fr의 이메일 확인됨
- ludovic henrioCNRSens-lyon.fr의 이메일 확인됨