Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonVahvistettu sähköpostiosoite verkkotunnuksessa kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVahvistettu sähköpostiosoite verkkotunnuksessa st-andrews.ac.uk

Fahad Ausaf

Vahvistettu sähköpostiosoite verkkotunnuksessa kcl.ac.uk - Kotisivu


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Sitaatteja vuodessa