Meinke, Karl.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
主題