Mohammadsadegh Dalvandi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2019–2019
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ECOOP | Towards deductive verification of C11 programs with Event-B and ProB. | Mohammadsadegh Dalvandi, Brijesh Dongol |
| 2019 | FM | SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. | Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi |