具有高阶存储的程序的一类可判定验证条件

纳撒尼尔·查尔顿,伯恩哈德再利用.具有高阶存储的程序的一类可判定验证条件.ECEASST公司, 23,2009 [美国国防部]

摘要

缺少摘要。