Skapa en profil
Offentlig åtkomst
Visa alla5 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGVerifierad e-postadress på ing.com
- Nikolaos BezirgiannisVerifierad e-postadress på cwi.nl
- Behrooz NobakhtLIACS, CWIVerifierad e-postadress på liacs.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerifierad e-postadress på win.tue.nl
- Sadegh AliakbaryShahid Beheshti UniversityVerifierad e-postadress på sbu.ac.ir
- Raman RamsinAssistant Professor of Computer Science and Engineering, Sharif University of TechnologyVerifierad e-postadress på sharif.edu
- Fatemeh GolpayeganiAssistant Professor, Computer science, University College DublinVerifierad e-postadress på ucd.ie