An Introduction to Separation Logic (Preliminary Draft) [PDF, authored by Reynolds]
2022-9-14 08:18:37 Author: www.reddit.com(查看原文) 阅读量:23 收藏
2022-9-14 08:18:37 Author: www.reddit.com(查看原文) 阅读量:23 收藏
no comments yet
Be the first to share what you think!
About Community
A moderated community dedicated to all things reverse engineering.
123k
Members
82
Online
Created Sep 11, 2008
文章来源: https://www.reddit.com/r/ReverseEngineering/comments/xdn665/an_introduction_to_separation_logic_preliminary/
如有侵权请联系:admin#unsafe.sh
如有侵权请联系:admin#unsafe.sh