Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Catherine Ghezzi
Elango Natrajan
Bhupendra Singh
Marco Vannucci
Silvia Scirpoli
Erin Carroll
Songhua Li
Sebastian Magda
David MacDonald
Meng Jiang
Home
/
Author
/
KHALIFA TOUMI
Author Info
Open Visualization
Name
Affiliation
Papers
KHALIFA TOUMI
Université Paris-Saclay
1
Collaborators
Citations
PageRank
4
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (4 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.
0
0.34
2020
1