Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility-MedSci.cn - 梅斯（MedSci）

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility

Lorch, JR; Chen, YX; Kapritsos, M; Ma, HJ; Parno, B; Qadeer, S; Sharma, U; Wilcox, JR; Zhao, XY

Lorch, JR (通讯作者)，Microsoft Res, 1 Microsoft Way, Redmond, WA 98052 USA.

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

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