rdcu.be/lL9v

Preview meta tags from the rdcu.be website.

Thumbnail

  • General Meta Tags

    15
    • charset
      utf-8
    • viewport
      initial-scale=1,width=device-width
    • image
      /assets/logo-41fb21ac6266ece9d2020c8752fa055c73dbcac7dfa6ec19ec909bd1f171a551.png
    • robots
      noarchive
    • worker-src
      https://pkg.readcube.com/@readcube/[email protected]/pdf.worker.min.js

  • Open Graph Meta Tags

    3
    • og:url
      https://link.springer.com/epdf/10.1007/s10817-016-9389-x
    • og:title
      Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
    • og:image
      https://images.readcube-cdn.com/prerendered/0bfcffb712ca8de13eebc4015a6d7637ed9bbbb029518def5dcd7b8ec6ead00e/1.jpg

  • Link Tags

    6
    • prefetch
      https://dyz6l42c0kkca.cloudfront.net/prerendered/0bfcffb712ca8de13eebc4015a6d7637ed9bbbb029518def5dcd7b8ec6ead00e/bg1.svg?Expires=1748131200&Signature=IWPQSHBlfcZqcU50SQQqtQ1a0LScShmr2yzgPnaxAXjew8yf8ezocpxvQI4p9X01H8bRpsFmv74-WzI5s6iaaTfn1SRZMIXWcYSmSPJ4K7-GGhAyvo-qIHnC-B5ixe6IFoTTt~cBqr4seRv36jypL9kA~DwegkEaQUU12Ei2Xcw_&Key-Pair-Id=APKAI2AQJBOTGLBL6N3A
    • prefetch
      https://dyz6l42c0kkca.cloudfront.net/prerendered/0bfcffb712ca8de13eebc4015a6d7637ed9bbbb029518def5dcd7b8ec6ead00e/text1.page?Expires=1748131200&Signature=bs9GJabBfwaMy0Q06o1lubWSDdwVvHMwP7Fo6y2pg-5dD87SQsiuI6vdjUUD~YTniKlm2JYcNn-vf6YL2drvkzmB~5xyuO~rIX2NPUTfJsyTQiXLzRgdoI3p7PN96JYdJ9UxFZxYJG8IT024yjhuWkgECCAn5wBP-vKEJ3A9XmI_&Key-Pair-Id=APKAI2AQJBOTGLBL6N3A
    • prefetch
      https://pkg.readcube.com/@readcube/[email protected]/pdf.worker.min.js
    • shortcut icon
      /favicon.ico
    • stylesheet
      https://reader.readcube.com/v4/styles/viewer.64780a3f.css