Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/448445002b1c3ec4e352adcc4911d0365a3910a9a997dd16d957561d9a080741> ?p ?o }
Showing triples 1 to 5 of
5
with 100 triples per page.
- 448445002b1c3ec4e352adcc4911d0365a3910a9a997dd16d957561d9a080741 date "2012".
- 448445002b1c3ec4e352adcc4911d0365a3910a9a997dd16d957561d9a080741 isCitedBy Formal_verification.
- 448445002b1c3ec4e352adcc4911d0365a3910a9a997dd16d957561d9a080741 journal "IEEE Trans. Software Eng. », 1, 38, 2012, 54-72".
- 448445002b1c3ec4e352adcc4911d0365a3910a9a997dd16d957561d9a080741 last "Le Goues, ThanhVu Nguyen, Forrest, Weimer".
- 448445002b1c3ec4e352adcc4911d0365a3910a9a997dd16d957561d9a080741 title "GenProg: A Generic Method for Automatic Software Repair".