Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityGeverifieerd e-mailadres voor st-andrews.ac.uk

Fahad Ausaf

Geverifieerd e-mailadres voor kcl.ac.uk - Homepage


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Citaties per jaar