Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
JSTAR: JavaScript specification type analyzer using refinement
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.606-616
2021
1 – 1 von 1
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen