Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/s00165-012-0222-y> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- s00165-012-0222-y doi "10.1007/s00165-012-0222-y".
- s00165-012-0222-y first1 "Achim D.".
- s00165-012-0222-y first2 "Burkhart".
- s00165-012-0222-y isCitedBy Model-based_testing.
- s00165-012-0222-y journal "Formal Aspects of Computing".
- s00165-012-0222-y last1 "Brucker".
- s00165-012-0222-y last2 "Wolff".
- s00165-012-0222-y title "On Theorem Prover-based Testing".
- s00165-012-0222-y url brucker.ea-theorem-prover-2012.en.html.
- s00165-012-0222-y year "2012".