The Java Verification Tool KeY:A Tutorial
Gespeichert in:
| Veröffentlicht in: | Formal Methods Jg. 14934 |
|---|---|
| Format: | Buchkapitel |
| Sprache: | Englisch |
| Veröffentlicht: |
Switzerland
Springer
2024
|
| ISBN: | 3031711769, 9783031711763 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| BookMark | eNpFj8tKxEAURFt8oDPOH7jI1kXrvf263e6GwfeAmyi4Cp2kmwmGdEwyfr9BBVdFnYKiasGOutQFxi4QrhCArh1ZLjlI5IRIxKGQ4oAt5Ex-AB3-G-NO2AKVkWBRC3PKVuPYlKCNNoSkzthlvgvZk__y2VsYmthUfmpSl-UptdlzeL9ZZ_l-SkPj23N2HH07htWfLtnr3W2-eeDbl_vHzXrLe6Fo4nUEpaIHrLWVFHQAF601Us4jvBQCbKkrqq10jkoTrfbOlGjnKNYVapBLpn97-yF97sM4FaFM6aMK3TT4ttr5fgrDWMz_BCnCQilRGFTyG-2LTWE |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-031-71177-0_32 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| EISBN | 3031711777 9783031711770 |
| Editor | Pradella, Matteo Rozier, Kristin Yvonne Rossi, Matteo Platzer, Andre |
| Editor_xml | – sequence: 1 fullname: Rozier, Kristin Yvonne – sequence: 2 fullname: Rossi, Matteo – sequence: 3 fullname: Pradella, Matteo – sequence: 4 fullname: Platzer, Andre |
| ExternalDocumentID | EBC31727471_442_614 |
| GroupedDBID | ALMA_UNASSIGNED_HOLDINGS CZZ EIXGO FFUUA |
| ID | FETCH-LOGICAL-p247t-df044fa01d5837e5e09f88633463a32208b5c7d83997b6f85a96b18a32fdc1503 |
| ISBN | 3031711769 9783031711763 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001336896100032&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Tue Oct 21 09:32:56 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA76.758 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p247t-df044fa01d5837e5e09f88633463a32208b5c7d83997b6f85a96b18a32fdc1503 |
| OCLC | 1463081526 |
| OpenAccessLink | https://doi.org/10.1007/978-3-031-71177-0_32 |
| PQID | EBC31727471_442_614 |
| ParticipantIDs | proquest_ebookcentralchapters_31727471_442_614 |
| PublicationCentury | 2000 |
| PublicationDate | 2024 |
| PublicationDateYYYYMMDD | 2024-01-01 |
| PublicationDate_xml | – year: 2024 text: 2024 |
| PublicationDecade | 2020 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II |
| PublicationTitle | Formal Methods |
| PublicationYear | 2024 |
| Publisher | Springer |
| Publisher_xml | – name: Springer |
| SSID | ssib056567174 ssib057832942 ssib057122624 ssib061662510 ssib060428130 |
| Score | 2.1292753 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | The Java Verification Tool KeY:A Tutorial |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=31727471&ppg=614 |
| Volume | 14934 |
| WOSCitedRecordID | wos001336896100032&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwELZoxYBYQIB4KwMLqozixLFjtlIVVSBVDKUqU5SHLXUglLZU_fnc5dGmKUsHligvR7l8zvm7s--OkDthOIsj4dIQTC_KeZJQZcBKiSQOPkYah-fFJmS_749G6q2o7jnLygnINPWXSzX5V6jhHICNobM7wL16KJyAfQAdtgA7bGuMeNP3Wlba_MyibbEu9KzeH17CRdgawkuYwlPXGmAKzlf9AQ9vtwaYz2BcdKzCE-Dwmieg9ARuWIgwQjHJWKlFSpXHVe5C3FKg1TUT0JRiW0ntoHBCbuSrFnn4Zy1fdfep4yIrglEv4NwJ8K7JN8U6XzgfXhQ9aZCGlKiXhqxX_v_ILcG6XOkHTzIgh07lGNSP4is6JtDeq5g_ggmw5piNITyl2CpPsrT-DJXwyb-k3BqSM54xOCKHGHtiYVAICHtM9nR6Qu4BOguhs6rQWQidBdA9tq0SuFPy_twddHq0qHBBJw6Xc5oYm3MT2izxfFdqT9vK-L5wXS7cEFSt7UdeLBMgsUpGwvheqETEfLhkkhiovHtGmulXqs-JJTRwZ5EIZXjMleMo7cQRWMNA4aRmTF-Qh1KwIJuHLxb_xrlEs6AO2uWuDa7IwbpXXpPmfPqjb8h-vJiPZ9PbDOlf26MzrA |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Formal+Methods&rft.atitle=The+Java+Verification+Tool+KeY%3AA+Tutorial&rft.date=2024-01-01&rft.pub=Springer&rft.isbn=9783031711763&rft.volume=14934&rft_id=info:doi/10.1007%2F978-3-031-71177-0_32&rft.externalDBID=614&rft.externalDocID=EBC31727471_442_614 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F31727471-l.jpg |