arxiv.org/abs/2002.07279

Preview meta tags from the arxiv.org website.

Linked Hostnames

26

Thumbnail

Search Engine Appearance

Google

https://arxiv.org/abs/2002.07279

Formal Methods: From Academia to Industrial Practice. A Travel Guide

Abstract page for arXiv paper 2002.07279: Formal Methods: From Academia to Industrial Practice. A Travel Guide



Bing

Formal Methods: From Academia to Industrial Practice. A Travel Guide

https://arxiv.org/abs/2002.07279

Abstract page for arXiv paper 2002.07279: Formal Methods: From Academia to Industrial Practice. A Travel Guide



DuckDuckGo

https://arxiv.org/abs/2002.07279

Formal Methods: From Academia to Industrial Practice. A Travel Guide

Abstract page for arXiv paper 2002.07279: Formal Methods: From Academia to Industrial Practice. A Travel Guide

  • General Meta Tags

    18
    • title
      [2002.07279] Formal Methods: From Academia to Industrial Practice. A Travel Guide
    • title
      open search
    • title
      open navigation menu
    • title
      contact arXiv
    • title
      subscribe to arXiv mailings

  • Open Graph Meta Tags

    10
    • og:type
      website
    • og:site_name
      arXiv.org
    • og:title
      Formal Methods: From Academia to Industrial Practice. A Travel Guide
    • og:url
      https://arxiv.org/abs/2002.07279v3
    • og:image
      /static/browse/0.3.4/images/arxiv-logo-fb.png

  • Twitter Meta Tags

    6
    • twitter:site
      @arxiv
    • twitter:card
      summary
    • twitter:title
      Formal Methods: From Academia to Industrial Practice. A Travel Guide
    • twitter:description
      For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief and many...
    • twitter:image
      https://static.arxiv.org/icons/twitter/arxiv-logo-twitter-square.png

  • Link Tags

    13
    • apple-touch-icon
      /static/browse/0.3.4/images/icons/apple-touch-icon.png
    • canonical
      https://arxiv.org/abs/2002.07279
    • icon
      /static/browse/0.3.4/images/icons/favicon-32x32.png
    • icon
      /static/browse/0.3.4/images/icons/favicon-16x16.png
    • manifest
      /static/browse/0.3.4/images/icons/site.webmanifest

Links

67