程序验证, 编程, 计算机科学, 软件工程, 逻辑

分离逻辑 (Separation Logic)

, , , ,