Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of to...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 11918 |
| creator | Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth |
| description | This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers. |
| doi_str_mv | 10.1007/978-3-030-34968-4 |
| format | Book |
| fullrecord | <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783030349684</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC5997074</sourcerecordid><originalsourceid>FETCH-LOGICAL-a19081-260e2f08636e81f51bbccf65c6c254794c40d437b54224bc7305676b8a5e3e193</originalsourceid><addsrcrecordid>eNpdkE1PAjEQhutnROQHcCNejIfK9Ht7VAJKgvFivDbd0gVk2eJ21b9vl_Wip5l553knM4PQkMAdAVBjrTLMMDDAjGuZYX6EBkljSTkI_Bj1iCQEs1Se_Oudol7KKdaKs3N0SQjVRGSa0Qs0iPEdACiVgijeQ8N51fhVbRu_HM1CvbPl6Nk367CMV-issGX0g9_YR2-z6evkCS9eHueT-wW2RENGMJXgaQGZZNJnpBAkz50rpHDSUcGV5o7DkjOVC04pz51iIKSSeWaFZ55o1ke33WAbt_47rkPZRPNV-jyEbTR_DkvsuGPjvt5UK1-bjiJg2re1tGEm8eZgMK3jpnPs6_Dx6WNjDoOdr5ralmb6MBFaK1Ated2RzkZbbqqN2YUqpN_s19Gk5UFyyX4APPJtJw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC5997074</pqid></control><display><type>book</type><title>Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</title><source>Springer Books</source><creator>Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth</creator><contributor>Tapia Tarifa, Silvia Lizeth ; Ahrendt, Wolfgang ; Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth</contributor><creatorcontrib>Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth ; Tapia Tarifa, Silvia Lizeth ; Ahrendt, Wolfgang ; Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth</creatorcontrib><description>This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.</description><edition>1st ed. 2019.</edition><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783030349684</identifier><identifier>ISBN: 3030349683</identifier><identifier>ISBN: 9783030349677</identifier><identifier>ISBN: 3030349675</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783030349684</identifier><identifier>EISBN: 3030349683</identifier><identifier>DOI: 10.1007/978-3-030-34968-4</identifier><identifier>OCLC: 1129158932</identifier><language>eng</language><publisher>Cham: Springer Nature</publisher><subject>Computer programming, programs, data ; Computer Science ; Computer Systems Organization and Communication Networks ; Formal methods (Computer science)-Congresses ; Logic in AI ; Programming Languages, Compilers, Interpreters ; Simulation and Modeling ; Software Engineering ; Theory of Computation</subject><creationdate>2019</creationdate><tpages>565</tpages><format>565</format><rights>Springer Nature Switzerland AG 2019</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-030-34968-4</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/978-3-030-34968-4$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-030-34968-4$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>306,309,776,780,782,785,4036,27902,38232,41418,42487</link.rule.ids></links><search><contributor>Tapia Tarifa, Silvia Lizeth</contributor><contributor>Ahrendt, Wolfgang</contributor><contributor>Ahrendt, Wolfgang</contributor><contributor>Tapia Tarifa, Silvia Lizeth</contributor><creatorcontrib>Ahrendt, Wolfgang</creatorcontrib><creatorcontrib>Tapia Tarifa, Silvia Lizeth</creatorcontrib><title>Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</title><description>This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.</description><subject>Computer programming, programs, data</subject><subject>Computer Science</subject><subject>Computer Systems Organization and Communication Networks</subject><subject>Formal methods (Computer science)-Congresses</subject><subject>Logic in AI</subject><subject>Programming Languages, Compilers, Interpreters</subject><subject>Simulation and Modeling</subject><subject>Software Engineering</subject><subject>Theory of Computation</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783030349684</isbn><isbn>3030349683</isbn><isbn>9783030349677</isbn><isbn>3030349675</isbn><isbn>9783030349684</isbn><isbn>3030349683</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2019</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><recordid>eNpdkE1PAjEQhutnROQHcCNejIfK9Ht7VAJKgvFivDbd0gVk2eJ21b9vl_Wip5l553knM4PQkMAdAVBjrTLMMDDAjGuZYX6EBkljSTkI_Bj1iCQEs1Se_Oudol7KKdaKs3N0SQjVRGSa0Qs0iPEdACiVgijeQ8N51fhVbRu_HM1CvbPl6Nk367CMV-issGX0g9_YR2-z6evkCS9eHueT-wW2RENGMJXgaQGZZNJnpBAkz50rpHDSUcGV5o7DkjOVC04pz51iIKSSeWaFZ55o1ke33WAbt_47rkPZRPNV-jyEbTR_DkvsuGPjvt5UK1-bjiJg2re1tGEm8eZgMK3jpnPs6_Dx6WNjDoOdr5ralmb6MBFaK1Ated2RzkZbbqqN2YUqpN_s19Gk5UFyyX4APPJtJw</recordid><startdate>2019</startdate><enddate>2019</enddate><creator>Ahrendt, Wolfgang</creator><creator>Tapia Tarifa, Silvia Lizeth</creator><general>Springer Nature</general><general>Springer International Publishing AG</general><general>Springer International Publishing</general><scope>I4C</scope></search><sort><creationdate>2019</creationdate><title>Integrated Formal Methods</title><author>Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a19081-260e2f08636e81f51bbccf65c6c254794c40d437b54224bc7305676b8a5e3e193</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2019</creationdate><topic>Computer programming, programs, data</topic><topic>Computer Science</topic><topic>Computer Systems Organization and Communication Networks</topic><topic>Formal methods (Computer science)-Congresses</topic><topic>Logic in AI</topic><topic>Programming Languages, Compilers, Interpreters</topic><topic>Simulation and Modeling</topic><topic>Software Engineering</topic><topic>Theory of Computation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Ahrendt, Wolfgang</creatorcontrib><creatorcontrib>Tapia Tarifa, Silvia Lizeth</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ahrendt, Wolfgang</au><au>Tapia Tarifa, Silvia Lizeth</au><au>Tapia Tarifa, Silvia Lizeth</au><au>Ahrendt, Wolfgang</au><au>Ahrendt, Wolfgang</au><au>Tapia Tarifa, Silvia Lizeth</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2019</date><risdate>2019</risdate><volume>11918</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783030349684</isbn><isbn>3030349683</isbn><isbn>9783030349677</isbn><isbn>3030349675</isbn><eisbn>9783030349684</eisbn><eisbn>3030349683</eisbn><abstract>This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.</abstract><cop>Cham</cop><pub>Springer Nature</pub><doi>10.1007/978-3-030-34968-4</doi><oclcid>1129158932</oclcid><tpages>565</tpages><edition>1st ed. 2019.</edition></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_askewsholts_vlebooks_9783030349684 |
| source | Springer Books |
| subjects | Computer programming, programs, data Computer Science Computer Systems Organization and Communication Networks Formal methods (Computer science)-Congresses Logic in AI Programming Languages, Compilers, Interpreters Simulation and Modeling Software Engineering Theory of Computation |
| title | Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T10%3A34%3A09IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Integrated%20Formal%20Methods:%2015th%20International%20Conference,%20IFM%202019,%20Bergen,%20Norway,%20December%202-6,%202019,%20Proceedings&rft.au=Ahrendt,%20Wolfgang&rft.date=2019&rft.volume=11918&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783030349684&rft.isbn_list=3030349683&rft.isbn_list=9783030349677&rft.isbn_list=3030349675&rft_id=info:doi/10.1007/978-3-030-34968-4&rft_dat=%3Cproquest_askew%3EEBC5997074%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783030349684&rft.eisbn_list=3030349683&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC5997074&rft_id=info:pmid/&rfr_iscdi=true |