Items where authors include "Dalvandi, S."
Up a levelJump to: Article
Number of items: 1.
Article
Dalvandi, S., Dongol, B., Doherty, S. et al. (1 more author) (2022) Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL. Journal of Automated Reasoning, 66 (1). pp. 141-171. ISSN 0168-7433