Matches in DBpedia 2015-10 for { <http://download.springer.com/static/pdf/810/chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf chapter "Verification of Java Programs with Generics".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf first1 "Kurt".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf first2 "Holger".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf first3 "Wolfgang".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf isCitedBy Heap_pollution.
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf isbn "978-3-540-79979-5".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf last1 "Stenzel".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf last2 "Grandy".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf last3 "Reif".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf pages "315–329".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf series "Lecture Notes in Computer Science".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf title "Algebraic Methodology and Software Technology".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf url chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf.
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf volume "5140".
- chp%253A10.1007%252F978-3-540-79980-1_24.pdf?auth66=1405625649_9fc40bf12eab1ded1975d72df5daf6c6&ext=.pdf year "2008".