ACM SIGPLAN - [VMCAI'24] A Navigation Logic for Recursive Programs with Dynamic Thread Creation
Sign in to continue reading, translating and more.
