ACM SIGPLAN - [Incorrectness'24] A Reachability Logic for a Weak Memory Model with Promises
Sign in to continue reading, translating and more.
