내 프로필 만들기
공개 액세스
모두 보기자료 12개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- aspertiUniversity of Bolognacs.unibo.it의 이메일 확인됨
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, Francetelecom-paris.fr의 이메일 확인됨
- Ferruccio GuidiUniversity of Bolognacs.unibo.it의 이메일 확인됨
- Wilmer RicciottiUniversity of Edinburghwilmer-ricciotti.net의 이메일 확인됨
- Andrea CondoluciPhD at University of Bolognastudio.unibo.it의 이메일 확인됨
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Servicesamazon.co.uk의 이메일 확인됨
- Florian RabeUniversity Erlangen-Nurembergfau.de의 이메일 확인됨
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot Universitypps.univ-paris-diderot.fr의 이메일 확인됨
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghed.ac.uk의 이메일 확인됨
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHkerguelen.org의 이메일 확인됨
- Cosimo LaneveProfessor of Computer Science, University of Bolognaunibo.it의 이메일 확인됨
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburghed.ac.uk의 이메일 확인됨
- Giulio GuerrieriDepartment of Computer Science, University of Bathbath.ac.uk의 이메일 확인됨
- Matteo CiminiUniversity of Massachusetts Lowelluml.edu의 이메일 확인됨
- James McKinnaHeriot-Watt University, Edinburghhw.ac.uk의 이메일 확인됨
- Ilias GarnierPostdoc, École Normale Supérieuredi.ens.fr의 이메일 확인됨
- François Bobotbobot.eu의 이메일 확인됨
- Silvio ValentiniUniversità di Padovamath.unipd.it의 이메일 확인됨
- Fabio VitaliProfessor of Computer Science, University of Bolognaunibo.it의 이메일 확인됨
- Davide SangiorgiProfessor of Computer Science, University of Bolognacs.unibo.it의 이메일 확인됨