自分のプロフィールを作成
オープン アクセス
すべて表示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
- Jukka KohonenAalto University確認したメール アドレス: aalto.fi