Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonPotvrđena adresa e-pošte na kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityPotvrđena adresa e-pošte na st-andrews.ac.uk

Fahad Ausaf

Potvrđena adresa e-pošte na kcl.ac.uk - Početna stranica


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Godišnji broj citata