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

Science of computer programming, 2015-03, Vol.99, p.193-234
2015
Volltextzugriff (PDF)

Science of computer programming, 2024-07, Vol.235, p.103097, Article 103097
2024
Volltextzugriff (PDF)

What Good are Models?
Formal Aspects of Component Software, 2018, p.3-31
2018
Volltextzugriff (PDF)


Science of computer programming, 2019-06, Vol.178, p.20-42
2019
Volltextzugriff (PDF)



Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Volltextzugriff (PDF)

Rewriting Logic and Its Applications, p.191-211
Volltextzugriff (PDF)

Rewriting Logic and Its Applications, p.171-190
Volltextzugriff (PDF)

Rewriting Logic and Its Applications, p.130-150
Volltextzugriff (PDF)


Science of computer programming, 2020-12, Vol.200, p.102547, Article 102547
2020
Volltextzugriff (PDF)

Demokratizatsiya (Washington, D.C.), 2023-01, Vol.31 (1), p.91-112
2023
Volltextzugriff (PDF)

Rewriting Logic and Its Applications, p.212-229
Volltextzugriff (PDF)

Rewriting Logic and Its Applications, p.274-294
Volltextzugriff (PDF)

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.343-354
2021
Volltextzugriff (PDF)


Rewriting Logic and Its Applications, p.253-273
Volltextzugriff (PDF)


Rewriting Logic and Its Applications, p.151-170
Volltextzugriff (PDF)


Rewriting Logic and Its Applications, p.65-84
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n