Sortiert nach
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...Electronic proceedings in theoretical computer science, 2018-10, Vol.282 (Proc. Refine 2018), p.39-52
2018
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)
Acta informatica, 2024-09, Vol.61 (3), p.261-314
2024
Volltextzugriff (PDF)
Science of computer programming, 2017-05, Vol.138, p.26-48
2017
Volltextzugriff (PDF)
Proceedings of the 34th International Conference on Software Engineering, 2012, p.1519-1522
2012
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2018-06, Vol.97, p.1-29
2018
Volltextzugriff (PDF)
2012 34th International Conference on Software Engineering (ICSE), 2012, p.1519-1522
2012
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.2, p.591-594
2015
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2017-09, Vol.13 (2-3), p.219-239
2017
Volltextzugriff (PDF)
Journal of symbolic computation, 2013-01, Vol.48, p.1-36
2013
Volltextzugriff (PDF)
International journal of critical computer-based systems, 2014, Vol.5 (1/2), p.78
2014
Volltextzugriff (PDF)
2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2023, p.845-846
2023
Volltextzugriff (PDF)
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021, p.415-424
2021
Volltextzugriff (PDF)
Relational and Algebraic Methods in Computer Science, p.191-208
Volltextzugriff (PDF)
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, p.102-112
2022
Volltextzugriff (PDF)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.2, p.317-318
2010
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2011, p.173-193
Volltextzugriff (PDF)
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016, p.113-123
2016
Volltextzugriff (PDF)
The journal of logic and algebraic programming, 2012-07, Vol.81 (5), p.606-622
2012
Volltextzugriff (PDF)
SSRN Electronic Journal
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Semantics
- Computer Science, Theory & Methods
- Invariant Relations
- Relative Correctness
- Software Engineering
- Absolute Correctness
- While Loop
- Engineering
- Engineering, Electrical & Electronic
- Fault Removal
- Faults
- Invariant Relation
- Program Verification
- Software Testing
- While Loops
- Assume
Kollektion
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Acta Informatica
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Innovations In Systems And Software Engineering
- International Journal Of Critical Computer-Based Systems
- Journal Of Logical And Algebraic Methods In Programming
- Journal Of Symbolic Computation
- Science Of Computer Programming
- Software And Systems Modeling
- Ssrn Electronic Journal