自分のプロフィールを作成
オープン アクセス
すべて表示15 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Josef WidderInformal Systems確認したメール アドレス: informal.systems
- Igor KonnovIndependent Security and Formal Methods Researcher確認したメール アドレス: konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Eric GoubaultEcole Polytechnique確認したメール アドレス: cea.fr
- Sergio RajsbaumUniversidad Nacional Autónoma de México確認したメール アドレス: im.unam.mx
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Giuliano LosaUCLA確認したメール アドレス: losa.fr
- Oded PadonVMware Research確認したメール アドレス: vmware.com
- Sharon ShohamTel Aviv University確認したメール アドレス: tauex.tau.ac.il
- Erhard AichingerAssociate Professor, Institute for Algebra, Johannes Kepler University Linz, Linz, Austria確認したメール アドレス: algebra.uni-linz.ac.at
- Nebojša MudrinskiAssociate Professor, University of Novi Sad確認したメール アドレス: dmi.uns.ac.rs
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISA確認したメール アドレス: inria.fr
- Rozalia MadaraszProfessor of Mathematics, University of Novi Sad確認したメール アドレス: dmi.uns.ac.rs