Fayçal Baba

According to our database, Fayçal Baba authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Modeling and Verification of Solidity Smart Contracts with the B Method.

Fayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024