Name Card
Full name
Familienname, Vorname
Schlichtkrull, Anders
Main Affiliation
Organisationszuordnung
Aalborg University
Own Publications
Eigene Publikationen
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Schlichtkrull, Anders
; Konggaard Schou, Morten
; Srba, Jiri
; Traytel, Dmitriy
Differential Testing of Pushdown Reachability with a Formally Verified Oracle
Inproceedings
Konferenzbeitrag
Oct-2022