A Relational Program Logic with Data Abstraction and Dynamic Framing-MedSci.cn - 梅斯（MedSci）

A Relational Program Logic with Data Abstraction and Dynamic Framing

Banerjee, A; Nagasamudram, R; Naumann, DA; Nikouei, M

Banerjee, A (通讯作者)，IMDEA Software Inst, Madrid, Spain.

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022; 44 (4):

科室
- - 订阅+
  - 更多科室
工具
服务