Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen5 Artikel
1 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Bestätigte E-Mail-Adresse bei cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGBestätigte E-Mail-Adresse bei ing.com
- Nikolaos BezirgiannisBestätigte E-Mail-Adresse bei cwi.nl
- Behrooz NobakhtLIACS, CWIBestätigte E-Mail-Adresse bei liacs.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyBestätigte E-Mail-Adresse bei win.tue.nl
- Sadegh AliakbaryShahid Beheshti UniversityBestätigte E-Mail-Adresse bei sbu.ac.ir
- Raman RamsinAssistant Professor of Computer Science and Engineering, Sharif University of TechnologyBestätigte E-Mail-Adresse bei sharif.edu
- Fatemeh GolpayeganiAssistant Professor, Computer science, University College DublinBestätigte E-Mail-Adresse bei ucd.ie