Crea il mio profilo
Accesso pubblico
Visualizza tutto5 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGEmail verificata su ing.com
- Nikolaos BezirgiannisEmail verificata su cwi.nl
- Behrooz NobakhtLIACS, CWIEmail verificata su liacs.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail verificata su win.tue.nl
- Sadegh AliakbaryShahid Beheshti UniversityEmail verificata su sbu.ac.ir
- Raman RamsinAssistant Professor of Computer Science and Engineering, Sharif University of TechnologyEmail verificata su sharif.edu
- Fatemeh GolpayeganiAssistant Professor, Computer science, University College DublinEmail verificata su ucd.ie