Languages
Hahnle, Reiner.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Machine learning for dynamic software analysis = potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers /
by:
SpringerLink (Online service); Hahnle, Reiner.; Meinke, Karl.; Bennaceur, Amel.
(Language materials, printed)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Beckert, Bernhard.; SpringerLink (Online service); Hahnle, Reiner.
(Language materials, printed)
Subjects
Software Engineering.
Machine learning
Artificial Intelligence (incl. Robotics)
Software Engineering/Programming and Operating Systems.
Computers and Society.
Computer Communication Networks.
System Performance and Evaluation.
Theory of Computation.
Computer Science.
Logics and Meanings of Programs.
Computer software