matryoshka-project.github.io
Preview meta tags from the matryoshka-project.github.io website.
Linked Hostnames
78- 42 links tolink.springer.com
- 11 links towww.isa-afp.org
- 9 links towww.cs.vu.nl
- 7 links toarxiv.org
- 6 links todl.acm.org
- 6 links tolean-forward.github.io
- 6 links tordcu.be
- 5 links tomembers.loria.fr
General Meta Tags
6- titleMatryoshka: Fast Interactive Verification through Strong Higher-Order Automation
- charsetutf-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- description
Link Tags
4- iconmatryoshka_four_dolls.png
- stylesheethttps://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css
- stylesheetnavbar-fixed-top.css
- stylesheetcustom.css
Emails
2Links
188- http://ceur-ws.org/Vol-2189/paper3.pdf
- http://cl-informatik.uibk.ac.at/software/hh
- http://cl-informatik.uibk.ac.at/users/cek
- http://cl-informatik.uibk.ac.at/users/mfaerber
- http://cordis.europa.eu/project/rcn/207590_en.html