Matches in DBpedia 2015-10 for { <http://doi.org/10.1007/3-540-45251-6_29> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 3-540-45251-6_29 doi "10.1007/3-540-45251-6_29".
- 3-540-45251-6_29 first1 "C.".
- 3-540-45251-6_29 first2 "K. R. M.".
- 3-540-45251-6_29 isCitedBy Java.
- 3-540-45251-6_29 isbn "3-540-41791-5".
- 3-540-45251-6_29 last1 "Flanagan".
- 3-540-45251-6_29 last2 "Kiniry".
- 3-540-45251-6_29 pages "500–517".
- 3-540-45251-6_29 title "Houdini, an Annotation Assistant for ESC/Java".
- 3-540-45251-6_29 work "FME 2001: Formal Methods for Increasing Software Productivity".
- 3-540-45251-6_29 year "2001".