概要
概要
研究
リーダーシップ
ニュースルーム
製品
コミュニティ
概要
ブログ
Essential Cardano
Catalyst
採用情報
お問い合わせ
English
日本語
日本語
IOHK |
ライブラリー
概要
ライブラリー
ライブラリー
>
Kegan McIlwaine
Kegan McIlwaine
Verifying Smart Contract Transformations Using Bisimulations
Kegan McIlwaine,
Prof James Caldwell
May 2025, FMBC '25
SMARTCONTRACT