サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
買ってよかったもの
vst.cs.princeton.edu
Verifiable C is a program logic for the C programming language: foundational higher-order impredicative concurrent separation logic, proved sound with respect to the operational semantics of CompCert C
このページを最初にブックマークしてみませんか？
『Verified Software Toolchain』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
