形式手法

「形式手法」に関する情報が集まっています

人気の投稿

新着の投稿

Formal Reasoning About the Security of Amazon Web Services 形式手法に関するトップカンファレンスであるCAV 2018にて,AWSから講演(Invited Paperの発表)がありました. そこでの発表からAWSは形式手法にかなり力を入れている印象を受け,割と重要な内容かなと思い,単なる箇条...

2018-11-07

技術ブログ開設

ここから先はアカウント(ブログ)開設が必要です

英数字4文字以上
.qrunch.io
英数字6文字以上
ログインする