내 프로필 만들기
공개 액세스
모두 보기자료 12개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)lmf.cnrs.fr의 이메일 확인됨
- Marino MiculanUniversity of Udine, Italyuniud.it의 이메일 확인됨
- Marco PeressottiUniversity of Southern Denmarkimada.sdu.dk의 이메일 확인됨
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETunc.edu.ar의 이메일 확인됨
- Etienne LozesUniversité Côte d'Azuruniv-cotedazur.fr의 이메일 확인됨
- Christoph HaaseUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Bartosz BednarczykUniwersytet Wrocławski & TU Dresdencs.uni.wroc.pl의 이메일 확인됨
- Zahra HadizadehUniversité Paris Citéetu.u-paris.fr의 이메일 확인됨
- Michael BenediktProfessor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
- Angelo MontanariProfessor of Computer Science, Univ. of Udineuniud.it의 이메일 확인됨
- Luca GeattiUniversity of Udineuniud.it의 이메일 확인됨
- Amaury PoulyCNRS/IRIFirif.fr의 이메일 확인됨
- Guillermo A. PérezAssociate Professor, University of Antwerpuantwerp.be의 이메일 확인됨