Ended 2017/08/06(Sun) 12:30〜
#静的コード解析の会 第4回@大阪
ARMマイコン上で動作するアプリケーションをVeriFastで検証しましょう!
masterq
大阪府大阪市北区大深町 3-1 (グランフロント大阪タワー B 14F)
Metasepi
組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです
投稿者:masterq
投稿日:Aug. 6, 2017, 9:34 a.m.
動画はありません。
ブログはありません。