Permission-based separation logic for multithreaded java programs (0)

by A Amighi, C Haack, M Huisman, C Hurlin
Venue:CoRR