Založit si vlastní profil
Veřejný přístup
Zobrazit všechny12 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- aspertiUniversity of BolognaE-mailová adresa ověřena na: cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceE-mailová adresa ověřena na: telecom-paris.fr
- Ferruccio GuidiUniversity of BolognaE-mailová adresa ověřena na: cs.unibo.it
- Wilmer RicciottiUniversity of EdinburghE-mailová adresa ověřena na: wilmer-ricciotti.net
- Andrea CondoluciPhD at University of BolognaE-mailová adresa ověřena na: studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesE-mailová adresa ověřena na: amazon.co.uk
- Florian RabeUniversity Erlangen-NurembergE-mailová adresa ověřena na: fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mailová adresa ověřena na: pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mailová adresa ověřena na: kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of BolognaE-mailová adresa ověřena na: unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of BathE-mailová adresa ověřena na: bath.ac.uk
- Matteo CiminiUniversity of Massachusetts LowellE-mailová adresa ověřena na: uml.edu
- James McKinnaHeriot-Watt University, EdinburghE-mailová adresa ověřena na: hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureE-mailová adresa ověřena na: di.ens.fr
- François BobotE-mailová adresa ověřena na: bobot.eu
- Silvio ValentiniUniversità di PadovaE-mailová adresa ověřena na: math.unipd.it
- Fabio VitaliProfessor of Computer Science, University of BolognaE-mailová adresa ověřena na: unibo.it
- Davide SangiorgiProfessor of Computer Science, University of BolognaE-mailová adresa ověřena na: cs.unibo.it