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...
Open Access
Differentiators and detectors
Information processing letters, 2021-08, Vol.169, p.106111, Article 106111
2021
Volltextzugriff (PDF)

Open Access
Programming Without Refining
Electronic proceedings in theoretical computer science, 2018-10, Vol.282 (Proc. Refine 2018), p.39-52
2018
Volltextzugriff (PDF)

Informatics in education, 2015-01, Vol.14 (2), p.143-160
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-05, Vol.208 (Proc. PrePost 2016), p.1-15
2016
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.57-70
2016
Volltextzugriff (PDF)


Software and systems modeling, 2023-12, Vol.22 (6), p.1969-1976
2023
Volltextzugriff (PDF)

Toward a theory of program repair
Acta informatica, 2023-09, Vol.60 (3), p.209-255
2023
Volltextzugriff (PDF)

Science of computer programming, 2025-01, Vol.239, p.103177, Article 103177
2025
Volltextzugriff (PDF)

Open Access
Invariant relations for affine loops
Acta informatica, 2024-09, Vol.61 (3), p.261-314
2024
Volltextzugriff (PDF)

The Journal of systems and software, 2021-11, Vol.181, p.111039, Article 111039
2021
Volltextzugriff (PDF)

Science of computer programming, 2017-05, Vol.138, p.26-48
2017
Volltextzugriff (PDF)

Computers in human behavior, 2015-07, Vol.48, p.245-254
2015
Volltextzugriff (PDF)

IEEE transactions on software engineering, 1995-06, Vol.21 (6), p.528-562
1995
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2018-06, Vol.97, p.1-29
2018
Volltextzugriff (PDF)

On Faults and Faulty Programs
Relational and Algebraic Methods in Computer Science, 2014, p.191-207
2014
Volltextzugriff (PDF)

Innovations in systems and software engineering, 2017-09, Vol.13 (2-3), p.219-239
2017
Volltextzugriff (PDF)

International journal of critical computer-based systems, 2020, Vol.10 (1), p.37
2020
Volltextzugriff (PDF)

International journal of critical computer-based systems, 2020, Vol.10 (1), p.37
2020
Volltextzugriff (PDF)

Correctness and Relative Correctness
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.2, p.591-594
2015
Volltextzugriff (PDF)

Verification and Evaluation of Computer and Communication Systems, 2017, Vol.10466, p.139-154
2017
Volltextzugriff (PDF)

Science of computer programming, 2013-09, Vol.78 (9), p.1212-1239
2013
Volltextzugriff (PDF)

Journal of King Saud University. Computer and information sciences, 2013, Vol.25 (1), p.63-75
2013
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt