終了 2017/05/28(日) 12:30〜
#静的コード解析の会 第3回@名古屋
ARMマイコン上で動作するアプリケーションをVeriFastで検証しましょう!
masterq 他
名古屋市中村区名駅2-35-22 (メビウス名古屋ビル2階)
Metasepi
組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです
(未設定)
投稿者:masterq
投稿日:2017年5月27日 21時30分
動画はありません。
ブログはありません。