Marwa Benabdelali

According to our database, Marwa Benabdelali authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

2020

Correctness enhancement: a pervasive software engineering paradigm.

Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili

Int. J. Crit. Comput. Based Syst., 2020

2019

Deriving Programs by Reliability Enhancement.

Marwa Benabdelali, Lamia Labed Jilani

Proceedings of the 14th International Conference on Software Technologies, 2019

2018

Programming Without Refining.

Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili

Proceedings of the Proceedings 18th Refinement Workshop, 2018