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.

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies

Daniel Wright, Mark Batty, Brijesh Dongol. Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. In Marieke Huisman, Corina S. Pasareanu, Naijun Zhan, editors, Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Volume 13047 of Lecture Notes in Computer Science, pages 237-254, Springer, 2021. [doi]

Authors

Daniel Wright

This author has not been identified. Look up 'Daniel Wright' in Google

Mark Batty

This author has not been identified. It may be one of the following persons: Look up 'Mark Batty' in Google

Brijesh Dongol

This author has not been identified. Look up 'Brijesh Dongol' in Google
runs on