Separation logic
相关论文数: 2
顶级研究者
最高引用论文
Fixed point theorems and semantics: a folk tale
J.-L. Lassez, V.L. Nguyen, Ea Sonenberg
引用数: 133 • 1982
Automated verification of reactive and concurrent programs by calculation
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
引用数: 7 • 2021