Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonEmail verificata su kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityEmail verificata su st-andrews.ac.uk

Fahad Ausaf

Email verificata su kcl.ac.uk - Home page


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Citazioni per anno