Sadegh Dalvandi

Towards verified implementation of Event-B models in Dafny

Michael Butler, Sadegh Dalvandi, 2014 .

Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL pdf

Brijesh Dongol, Simon Doherty, Sadegh Dalvandi, 2020, J. Autom. Reason..