Ramana Nagasamudram和David A.Naumann：关联Hoare逻辑的对齐完整性。(2021) conf/lics/NagasamudramN21 10.1109/LICS52264.2021.9470690 关系Hoare逻辑的对齐完整性。 2 拉马纳-长崎 1 大卫·A·诺曼 2 1月13日 许可证 许可证 2021 2021 dblp记录“conf/lics/NagasamudramN21”的RDF数据的来源信息 2023-03-21T20:59:24+0100