建立我自己的個人學術檔案
公開取用
查看全部7 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Daniel KroeningAmazon在 amazon.com 的電子郵件地址已通過驗證
- Armin BiereProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的電子郵件地址已通過驗證
- Alessandro CimattiFondazione Bruno Kessler在 fbk.eu 的電子郵件地址已通過驗證
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的電子郵件地址已通過驗證
- Vadim Ryvchin在 tx.technion.ac.il 的電子郵件地址已通過驗證
- Arie GurfinkelUniversity of Waterloo在 uwaterloo.ca 的電子郵件地址已通過驗證
- Hana ChocklerKing's College London在 kcl.ac.uk 的電子郵件地址已通過驗證
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的電子郵件地址已通過驗證
- Randal BryantCarnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Alex GroceAssociate Professor of Computer Science, Northern Arizona University在 nau.edu 的電子郵件地址已通過驗證
- Alexander NadelReseach Scientist, Intel & Technion在 intel.com 的電子郵件地址已通過驗證
- Roderick BloemGraz University of Technology在 iaik.tugraz.at 的電子郵件地址已通過驗證