Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-04912-5_7> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 978-3-642-04912-5_7 doi "10.1007/978-3-642-04912-5_7".
- 978-3-642-04912-5_7 first1 "E.".
- 978-3-642-04912-5_7 isCitedBy Java.
- 978-3-642-04912-5_7 isbn "978-3-642-04911-8".
- 978-3-642-04912-5_7 last1 "Poll".
- 978-3-642-04912-5_7 pages "92–104".
- 978-3-642-04912-5_7 title "Teaching Program Specification and Verification Using JML and ESC/Java2".
- 978-3-642-04912-5_7 url tfm2009.pdf.
- 978-3-642-04912-5_7 work "Proceedings of the 2nd International Conference on Teaching Formal Methods".
- 978-3-642-04912-5_7 year "2009".