DMCA

Permission-Based Separation Logic for Multithreaded Java Programs

Cached

Download Links

by Afshin Amighi , Christian Haack , Marieke Huisman , Clément Hurlin
Citations:4 - 1 self