摘要：面向基于对象的程序的模块化验证方法的提出
作者：Niels Mommen, Bart Jacobs
论文ID：2306.02073
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-18
PDF 下载： 英文版 中文版pdf翻译中