Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonDirección de correo verificada de kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityDirección de correo verificada de st-andrews.ac.uk

Fahad Ausaf

Dirección de correo verificada de kcl.ac.uk - Página principal


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Citas por año