タグ #形式手法 に関するスライド

slide-thumbnail

【DeNATechCon2024】SWET流！形式手法によるDeNAプロダクト品質改善の秘訣
user-img DeNA_Tech 11.5K
slide-thumbnail

セキュアなスマートコントラクト開発のための形式手法活用（TLA+/Coq入門編）
user-img 加嵜 長門 7.2K
#形式手法