サクサク読めて、アプリ限定の機能も多数!
Ada/SPARKに関するテクニカルペーパ集。"A Comparison of SPARK with MISRA C and Frama-C"は読まねば。。。
masterq のブックマーク 2018/01/14 13:32
Commercial software solutions for Ada, C and C++[ada][language][spark][verify]Ada/SPARKに関するテクニカルペーパ集。"A Comparison of SPARK with MISRA C and Frama-C"は読まねば。。。2018/01/14 13:32
Ada/SPARKに関するテクニカルペーパ集。"A Comparison of SPARK with MISRA C and Frama-C"は読まねば。。。
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.adacore.com2018/01/14
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
Ada/SPARKに関するテクニカルペーパ集。"A Comparison of SPARK with MISRA C and Frama-C"は読まねば。。。
masterq のブックマーク 2018/01/14 13:32
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Commercial software solutions for Ada, C and C++
www.adacore.com2018/01/14
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /