Založit si vlastní profil
Veřejný přístup
Zobrazit všechny18 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Jan RuttenCWIE-mailová adresa ověřena na: cwi.nl
- Alexandra SilvaCornell UniversityE-mailová adresa ověřena na: cornell.edu
- Farhad ArbabProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.nl
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofE-mailová adresa ověřena na: utwente.nl
- Jurriaan RotRadboud UniversityE-mailová adresa ověřena na: cs.ru.nl
- Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgE-mailová adresa ověřena na: uni.lu
- Filippo BonchiCNRS ENS-LyonE-mailová adresa ověřena na: ens-lyon.fr
- Martin SteffenUniversity of OsloE-mailová adresa ověřena na: ifi.uio.no
- Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIenE-mailová adresa ověřena na: acm.org
- Alexander KurzChapman UniversityE-mailová adresa ověřena na: chapman.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaE-mailová adresa ověřena na: cs.unibo.it
- Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityE-mailová adresa ověřena na: han.nl
- Susanne GrafResearch Director, CNRS, Grenoble University, VerimagE-mailová adresa ověřena na: imag.fr
- Maria-Eugenia IacobProfessor, University of TwenteE-mailová adresa ověřena na: utwente.nl
- Helle Hvid HansenAssociate Professor at University of GroningenE-mailová adresa ověřena na: rug.nl
- Fan Zhou (周帆)University of Electronic Science and Technology of ChinaE-mailová adresa ověřena na: uestc.edu.cn
- Xueqin Chen (陈学勤)Delft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Dave ClarkeIndependentE-mailová adresa ověřena na: storytel.com
Sledovat
Marcello Bonsangue
Professor of Computer Science, Leiden University
E-mailová adresa ověřena na: liacs.leidenuniv.nl - Domovská stránka