D工具

dsdtool:完整DSD验证框架的OCaml实现。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Grabowski,Robert:动态安全环境中移动代码的信息流分析(2012)