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...

IEEE transactions on software engineering, 2023-11, Vol.49 (11), p.4846-4868
2023
Volltextzugriff (PDF)

ACM transactions on software engineering and methodology, 2022-10, Vol.31 (4), p.1-29, Article 58
2022
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2022-10, Vol.48 (10), p.3771-3789
2022
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2262-2276
2022
Volltextzugriff (PDF)


Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1729-1757, Article 283
2023
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.786-810
2022
Volltextzugriff (PDF)


Runtime Verification, 2022, Vol.13498, p.124-142
2022
Volltextzugriff (PDF)






Model Checking Software, 2008, Vol.5156, p.1-2
2008
Volltextzugriff (PDF)









Aktive Filter
Nur zeigenGeprüft (Peer-Review)
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n