link.springer.com/book/10.1007/978-3-031-55608-1
Preview meta tags from the link.springer.com website.
Linked Hostnames
16- 48 links tolink.springer.com
- 11 links towww.springernature.com
- 3 links toscholar.google.co.uk
- 3 links tosupport.springernature.com
- 3 links towww.ncbi.nlm.nih.gov
- 2 links tosingle-ebooks.springernature.com
- 2 links towww.springer.com
- 1 link toidp.springer.com
Thumbnail
Search Engine Appearance
https://link.springer.com/book/10.1007/978-3-031-55608-1
Guide to Software Verification with Frama-C
This book provides a rich and helpful source of information to the university professors and students taking courses in software analysis
Bing
Guide to Software Verification with Frama-C
https://link.springer.com/book/10.1007/978-3-031-55608-1
This book provides a rich and helpful source of information to the university professors and students taking courses in software analysis
DuckDuckGo
https://link.springer.com/book/10.1007/978-3-031-55608-1Guide to Software Verification with Frama-C
This book provides a rich and helpful source of information to the university professors and students taking courses in software analysis
General Meta Tags
11- titleGuide to Software Verification with Frama-C: Core Components, Usages, and Applications | 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-55608-1
- og:typebook
- og:site_nameSpringerLink
- og:titleGuide to Software Verification with Frama-C
- og:imagehttps://media.springernature.com/w153/springer-static/cover/book/978-3-031-55608-1.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-55608-1
- 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
81- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Julien+Signoles%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=%22Nikolai+Kosmatov%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=%22Virgile+Prevosto%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=search&term=Julien+Signoles
- http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=search&term=Nikolai+Kosmatov