Concepedia

Myriam Bégel

MB

Statistics

Publications

2

Citations

287

H-Index

2

Active since

2017

Affiliations

Université Paris-Saclay(Current)

Data61

Commonwealth Scientific and Industrial Research Organisation

Myriam Bégel is an author at Université Paris-Saclay specializing in software analysis, formal methods, and formal specification.

Top concepts

Publications per year

2017–2018

2

Publications

2

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2018 · 224 citations

, , +17

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2017 · 63 citations

, , +17

1–2 of 2