Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonVerifierad e-postadress på kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerifierad e-postadress på st-andrews.ac.uk

Fahad Ausaf

Verifierad e-postadress på kcl.ac.uk - Startsida


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Citat per år