Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/1181195.1181210> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 1181195.1181210 doi "10.1145/1181195.1181210".
- 1181195.1181210 first1 "D. R.".
- 1181195.1181210 isCitedBy Java.
- 1181195.1181210 isbn "1-59593-586-X".
- 1181195.1181210 last1 "Cok".
- 1181195.1181210 pages "71–74".
- 1181195.1181210 title "Specifying java iterators with JML and Esc/Java2".
- 1181195.1181210 work "Proceedings of the 2006 conference on Specification and verification of component-based systems".
- 1181195.1181210 year "2006".