Fahad Ausaf

According to our database, Fahad Ausaf authored at least 2 papers in 2016.

Collaborative distances:

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

2016

POSIX Lexing with Derivatives of Regular Expressions.

Fahad Ausaf, Roy Dyckhoff, Christian Urban

Arch. Formal Proofs, 2016

POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl).

Fahad Ausaf, Roy Dyckhoff, Christian Urban

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016