编辑配置文件（在新选项卡中打开） 男，克里斯 合著者距离 作者ID： 男性。克里斯 发布日期： 男，克里斯 已编制索引的文档： 1出版物自2011年起 合著者： 3位合著者具有1联合出版物 22位合作作者 合著者 0 单作者的 1 康斯坦丁·迪姆尼科夫 1 大卫·J·皮尔斯。 1 亚历克斯·波坦 系列 1 计算机程序设计科学 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 用于\（\@\）NonNull类型的字节码验证的算法的形式化和实现。 Zbl 1215.68069号 男，克里斯；大卫·J·皮尔斯。；亚历克斯·波坦；康斯坦丁·迪姆尼科夫 1 2011 非Null类型字节码验证算法的形式化和实现。 Zbl 1215.68069号 男，克里斯；大卫·J·皮尔斯。；亚历克斯·波坦；康斯坦丁·迪姆尼科夫 1 2011 4位作者引用 1 康斯坦丁·迪姆尼科夫 1 男，克里斯 1 大卫·J·皮尔斯。 1 亚历克斯·波坦 连载1篇 1 计算机程序设计科学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文