Fauzan Raza

According to our database, Fauzan Raza authored at least 1 paper in 2015.

Collaborative distances:

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

2015

g-HOL: A Graphical User Interface for the HOL Proof Assistant.

Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015