Fahad Ausaf

201720182019202020212022202320241 1 2 4 1 6 1

Christian UrbanKing's College LondonBestätigte E-Mail-Adresse bei kcl.ac.uk
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityBestätigte E-Mail-Adresse bei st-andrews.ac.uk

Fahad Ausaf

Bestätigte E-Mail-Adresse bei kcl.ac.uk - Startseite


Titel Nach Zitationen sortieren Nach Jahr sortieren Nach Titel sortieren	Zitiert von Zitiert von	Jahr
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) F Ausaf, R Dyckhoff, C Urban Interactive Theorem Proving 2016, 2016	16	2016

Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.

Zitate pro Jahr