. . . . . “Ramana Nagasamudram和David A.Naumann：关系Hoare逻辑的对齐完整性。（2021）”。 . . _：ID_f3c2c68db4224c58066b466198189297。_：ID_f3c2c68db4224c58066b466198189297 ._：ID_f3c2c68db4224c58066b466198189297 ._：ID_f3c2c68db4224c58066b466198189297“conf/lics/NagasamudramN21”。 _：ID_fb6fe5f729390b1be3528b7b2731c4f2。_：ID_fb6fe5f729390b1be3528b7b2731c4f2 ._：ID_fb6fe5f729390b1be3528b7b2731c4f2 ._：ID_fb6fe5f729390b1be3528b7b2731c4f2“10.1109/LICS52264.2021.9470690”。 “关系Hoare逻辑的对齐完整性”。 . . . "2"^^. _：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_1。_：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_1 ._：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_1“拉马纳-长崎”。_：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_1 ._：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_1"1"^^._：信号_a65071ef9a34be14b8f8f1c37e2b0453_1 . _：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_2。_：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_2 ._：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_2“David A.Naumann”。_：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_2 ._：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_2 ._：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_2"2"^^._：Sig_a65071ef9a34be14 bf8 f1c37 e2b0453_2 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录‘conf/lics/NagasamudramN21’的RDF数据的来源信息”。 . . . “2023-03-21T20:59:24+0100”。