Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue
['Alan Weide', 'Paolo A. G. Sivilotti', 'Murali Sitaraman']
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue