Mahmoud Kinanah

According to our database, Mahmoud Kinanah authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Verifying equivalence of memories using a first order logic theorem prover.

Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009