Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-30569-9_6> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 978-3-540-30569-9_6 doi "10.1007/978-3-540-30569-9_6".
- 978-3-540-30569-9_6 first1 "D. R.".
- 978-3-540-30569-9_6 first2 "J. R.".
- 978-3-540-30569-9_6 isCitedBy Java.
- 978-3-540-30569-9_6 isbn "3-540-24287-2".
- 978-3-540-30569-9_6 last1 "Cok".
- 978-3-540-30569-9_6 last2 "Kiniry".
- 978-3-540-30569-9_6 pages "108–128".
- 978-3-540-30569-9_6 title "ESC/Java2: uniting ESC/Java and JML".
- 978-3-540-30569-9_6 work "Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices".
- 978-3-540-30569-9_6 year "2005".