Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証
Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証
Discover companies you will love
DMM Crypto / Blockchain Engineer
Available to logged-in users only
形式検証
証明支援系Coqを使った形式検証
コア開発デベロッパー
View 今井宜洋's
Full Profile
This information is visible only to Wantedly users or the user’s connections
View past posts
View mutual connections
View 今井宜洋's full profile
Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証