Follow
Fahad Ausaf
Title
Cited by
Cited by
Year
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)
F Ausaf, R Dyckhoff, C Urban
Interactive Theorem Proving 2016, 2016
102016
The system can't perform the operation now. Try again later.