Meinke, Karl.
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:
Meinke, Karl.; SpringerLink (Online service); Bennaceur, Amel.; Hähnle, Reiner.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Tests and Proofs = 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings /
by:
Kovács, Laura.; Meinke, Karl.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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)
Subjects