External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. In Sandrine Blazy, Marsha Chechik, editors, Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Volume 9971 of Lecture Notes in Computer Science, pages 119-128, 2016. [doi]

Authors

Alan Weide

This author has not been identified. Look up 'Alan Weide' in Google

Paolo A. G. Sivilotti

This author has not been identified. Look up 'Paolo A. G. Sivilotti' in Google

Murali Sitaraman

This author has not been identified. Look up 'Murali Sitaraman' in Google
runs on