Ghada Fakhry

According to our database, Ghada Fakhry authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics.

Ghada Fakhry, Nada Sharaf, Slim Abdennadher

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013