Ulbrich, Mattias.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY /
by:
Hähnle, Reiner.; Bubel, Richard.; Beckert, Bernhard.; Ulbrich, Mattias.; SpringerLink (Online service); Ahrendt, Wolfgang.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Deductive Software Verification – The KeY Book = From Theory to Practice /
by:
SpringerLink (Online service); Ahrendt, Wolfgang.; Ulbrich, Mattias.; Beckert, Bernhard.; Bubel, Richard.; Schmitt, Peter H.; Hähnle, Reiner.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Application software.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Information Systems Applications (incl. Internet).
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.