Reiner Hähnle

スマートコントラクトの仕組み、メリット、セキュリティの問題についての見解。

トレースロジックが再帰プログラムの検証をどう助けるかを見てみよう。