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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Pointer Race Freedom
Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, 2016, p.393-412
2016
Volltextzugriff (PDF)
Aktive Filter
KollektionEbook Central Perpetual and DDA
ThemaComputer Science, Theory & Methods