dx.doi.org/10.1007/11804192_16
Preview meta tags from the dx.doi.org website.
Linked Hostnames
24- 47 links toscholar.google.com
- 23 links tolink.springer.com
- 13 links todoi.org
- 11 links towww.springernature.com
- 10 links todx.doi.org
- 7 links towww.emis.de
- 4 links tocitation-needed.springer.com
- 4 links toscholar.google.co.uk
Thumbnail
Search Engine Appearance
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Many state-based specification languages, including the Java Modeling Language (JML), contain at their core specification constructs familiar to most undergraduates: e.g., assertions, pre- and postconditions, and invariants. Unfortunately, these constructs are not...
Bing
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Many state-based specification languages, including the Java Modeling Language (JML), contain at their core specification constructs familiar to most undergraduates: e.g., assertions, pre- and postconditions, and invariants. Unfortunately, these constructs are not...
DuckDuckGo
https://dx.doi.org/10.1007/11804192_16Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Many state-based specification languages, including the Java Modeling Language (JML), contain at their core specification constructs familiar to most undergraduates: e.g., assertions, pre- and postconditions, and invariants. Unfortunately, these constructs are not...
General Meta Tags
38- titleBeyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 | SpringerLink
- charsetUTF-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- applicable-devicepc,mobile
Open Graph Meta Tags
6- og:urlhttps://link.springer.com/chapter/10.1007/11804192_16
- og:typePaper
- og:site_nameSpringerLink
- og:titleBeyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
- og:descriptionMany state-based specification languages, including the Java Modeling Language (JML), contain at their core specification constructs familiar to most undergraduates: e.g., assertions, pre- and postconditions, and invariants. Unfortunately, these constructs are not...
Twitter Meta Tags
6- twitter:siteSpringerLink
- twitter:cardsummary
- twitter:image:altContent cover image
- twitter:titleBeyond Assertions: Advanced Specification and Verification with JML an
- twitter:descriptionMany state-based specification languages, including the Java Modeling Language (JML), contain at their core specification constructs familiar to most undergraduates: e.g., assertions, pre- and postconditions, and invariants. Unfortunately, these constructs are not...
Item Prop Meta Tags
3- position1
- position2
- position3
Link Tags
9- apple-touch-icon/oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
- canonicalhttps://link.springer.com/chapter/10.1007/11804192_16
- 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
142- http://ftp.cs.iastate.edu
- http://jmlspecs.org
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Erik%20Poll%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=%22Gary%20T.%20Leavens%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=%22Joseph%20R.%20Kiniry%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en