建立我自己的個人學術檔案
公開取用
查看全部1 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of Helsinki在 helsinki.fi 的電子郵件地址已通過驗證
- Alessandro CimattiFondazione Bruno Kessler在 fbk.eu 的電子郵件地址已通過驗證
- Antti E. J. HyvärinenSenior Research Scientist, Certora在 certora.com 的電子郵件地址已通過驗證
- Roberto BruttomessoExpert Researcher and Software Engineer在 atrenta.com 的電子郵件地址已通過驗證
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, Italy在 unitn.it 的電子郵件地址已通過驗證
- Marco BozzanoFondazione Bruno Kessler在 fbk.eu 的電子郵件地址已通過驗證
- Peter van Rossum在 cs.ru.nl 的電子郵件地址已通過驗證
- Petteri KaskiAssistant Professor of Computer Science, Aalto University在 aalto.fi 的電子郵件地址已通過驗證
- Armin BiereProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的電子郵件地址已通過驗證
- Matti JärvisaloProfessor, University of Helsinki在 helsinki.fi 的電子郵件地址已通過驗證
- Stephan SchulzProfessor of Computer Science, DHBW Stuttgart在 eprover.org 的電子郵件地址已通過驗證
- Silvio RaniseFBK在 fbk.eu 的電子郵件地址已通過驗證
- Ivan PorresÅbo Akademi University在 abo.fi 的電子郵件地址已通過驗證
- Martin LangeProfessor of Computer Science, University of Kassel在 uni-kassel.de 的電子郵件地址已通過驗證
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, Germany在 uni-bremen.de 的電子郵件地址已通過驗證