doi.org/10.1007/978-3-031-71177-0
Preview meta tags from the doi.org website.
Linked Hostnames
18- 65 links todoi.org
- 19 links tolink.springer.com
- 11 links towww.springernature.com
- 4 links toorcid.org
- 4 links toscholar.google.co.uk
- 4 links towww.ncbi.nlm.nih.gov
- 3 links tosupport.springernature.com
- 1 link toauthorservices.springernature.com
Thumbnail
Search Engine Appearance
https://doi.org/10.1007/978-3-031-71177-0
Formal Methods
The open access FM 2024 proceedings deal with formal methods focusing on logic and verification; automated reasoning; program reasoning; etc.
Bing
Formal Methods
https://doi.org/10.1007/978-3-031-71177-0
The open access FM 2024 proceedings deal with formal methods focusing on logic and verification; automated reasoning; program reasoning; etc.
DuckDuckGo
https://doi.org/10.1007/978-3-031-71177-0Formal Methods
The open access FM 2024 proceedings deal with formal methods focusing on logic and verification; automated reasoning; program reasoning; etc.
General Meta Tags
11- titleFormal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II | SpringerLink
- charsetUTF-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- applicable-devicepc,mobile
Open Graph Meta Tags
5- og:urlhttps://link.springer.com/book/10.1007/978-3-031-71177-0
- og:typebook
- og:site_nameSpringerLink
- og:titleFormal Methods
- og:imagehttps://media.springernature.com/w153/springer-static/cover/book/978-3-031-71177-0.jpg
Item Prop Meta Tags
2- position1
- position2
Link Tags
9- apple-touch-icon/oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
- canonicalhttps://link.springer.com/book/10.1007/978-3-031-71177-0
- icon/oscar-static/img/favicons/darwin/android-chrome-192x192.png
- icon/oscar-static/img/favicons/darwin/favicon-32x32.png
- icon/oscar-static/img/favicons/darwin/favicon-16x16.png
Links
121- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Andre+Platzer%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Kristin+Yvonne+Rozier%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Matteo+Pradella%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Matteo+Rossi%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=search&term=Andre+Platzer