タグ「形式手法」がついた記事

該当件数:1件 このタグがついたログをみる

CAV 2018でのAWS招待講演のまとめ

Formal Reasoning About the Security of Amazon Web Services 形式手法に関するトップカンファレンスであるCAV 2018にて,AWSから講演(Invited Paperの発表)...