Mijn eigen profiel maken
Openbare toegang
Alles bekijken5 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGGeverifieerd e-mailadres voor ing.com
- Nikolaos BezirgiannisGeverifieerd e-mailadres voor cwi.nl
- Behrooz NobakhtLIACS, CWIGeverifieerd e-mailadres voor liacs.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor win.tue.nl
- Sadegh AliakbaryShahid Beheshti UniversityGeverifieerd e-mailadres voor sbu.ac.ir
- Raman RamsinAssistant Professor of Computer Science and Engineering, Sharif University of TechnologyGeverifieerd e-mailadres voor sharif.edu
- Fatemeh GolpayeganiAssistant Professor, Computer science, University College DublinGeverifieerd e-mailadres voor ucd.ie