Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonAdresse e-mail validée de kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityAdresse e-mail validée de st-andrews.ac.uk

Fahad Ausaf

Adresse e-mail validée de kcl.ac.uk - Page d'accueil


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Nombre de citations par an