Ahrendt, Wolfgang.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Deductive software verification = future perspectives : reflections on the occasion of 20 years of KeY /
by:
Ahrendt, Wolfgang.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
TAP (Conference) (2020 :); Ahrendt, Wolfgang.; Wehrheim, Heike.; SpringerLink (Online service); STAF (Federation of conferences) ((2020 :)
(Electronic resources)
Deductive software verification - The KeY Book = from theory to practice /
by:
Ahrendt, Wolfgang.; SpringerLink (Online service)
(Electronic resources)
The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by:
Hähnle, Reiner.; Ahrendt, Wolfgang.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer logic.
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Computer software- Verification.
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer software- Testing
Computer Engineering and Networks.
Artificial Intelligence.
Computer science.
Computer Science.
Computer software- Verification
Computer System Implementation.
Artificial intelligence.