Formal methods: practical applications and foundations

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal methods in system design 2021-01, Vol.58 (1-2), p.1-4
Hauptverfasser:	ter Beek Maurice H, McIver Annabelle
Format:	Artikel
Sprache:	eng
Schlagworte:	Formal method
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	4
container_issue	1-2
container_start_page	1
container_title	Formal methods in system design
container_volume	58
creator	ter Beek Maurice H McIver Annabelle
description
doi_str_mv	10.1007/s10703-021-00380-6
format	Article
fullrecord	<record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2646969901</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2646969901</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1216-fd70aeddce588a499aae6533f8a4ee86eb6b7450914c75a236b7ed272802c74c3</originalsourceid><addsrcrecordid>eNotjU1LAzEURYMoOFb_gKsB19H38vGSuJNiVSi40XVJkwy2TCfjZOb_G6ire89Z3MvYPcIjApingmBAchDIAaQFThesQW0EtwjikjXghObOarpmN6UcAcAiyYbRJk8n37enNP_kWJ7bcfJhPoSq_Dj2tcyHPJTWD7Ht8jLEM9-yq873Jd3954p9b16_1u98-_n2sX7Z8oACiXfRgE8xhqSt9co57xNpKbsKKVlKe9obpcGhCkZ7ISumKIywIIJRQa7Yw3l3nPLvksq8O-ZlGurlTpAiR84Byj9N90hx</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2646969901</pqid></control><display><type>article</type><title>Formal methods: practical applications and foundations</title><source>SpringerLink Journals - AutoHoldings</source><creator>ter Beek Maurice H ; McIver Annabelle</creator><creatorcontrib>ter Beek Maurice H ; McIver Annabelle</creatorcontrib><identifier>ISSN: 0925-9856</identifier><identifier>EISSN: 1572-8102</identifier><identifier>DOI: 10.1007/s10703-021-00380-6</identifier><language>eng</language><publisher>New York: Springer Nature B.V</publisher><subject>Formal method</subject><ispartof>Formal methods in system design, 2021-01, Vol.58 (1-2), p.1-4</ispartof><rights>The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021.</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c1216-fd70aeddce588a499aae6533f8a4ee86eb6b7450914c75a236b7ed272802c74c3</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>ter Beek Maurice H</creatorcontrib><creatorcontrib>McIver Annabelle</creatorcontrib><title>Formal methods: practical applications and foundations</title><title>Formal methods in system design</title><subject>Formal method</subject><issn>0925-9856</issn><issn>1572-8102</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><sourceid/><recordid>eNotjU1LAzEURYMoOFb_gKsB19H38vGSuJNiVSi40XVJkwy2TCfjZOb_G6ire89Z3MvYPcIjApingmBAchDIAaQFThesQW0EtwjikjXghObOarpmN6UcAcAiyYbRJk8n37enNP_kWJ7bcfJhPoSq_Dj2tcyHPJTWD7Ht8jLEM9-yq873Jd3954p9b16_1u98-_n2sX7Z8oACiXfRgE8xhqSt9co57xNpKbsKKVlKe9obpcGhCkZ7ISumKIywIIJRQa7Yw3l3nPLvksq8O-ZlGurlTpAiR84Byj9N90hx</recordid><startdate>20210101</startdate><enddate>20210101</enddate><creator>ter Beek Maurice H</creator><creator>McIver Annabelle</creator><general>Springer Nature B.V</general><scope/></search><sort><creationdate>20210101</creationdate><title>Formal methods: practical applications and foundations</title><author>ter Beek Maurice H ; McIver Annabelle</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1216-fd70aeddce588a499aae6533f8a4ee86eb6b7450914c75a236b7ed272802c74c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><topic>Formal method</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>ter Beek Maurice H</creatorcontrib><creatorcontrib>McIver Annabelle</creatorcontrib><jtitle>Formal methods in system design</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>ter Beek Maurice H</au><au>McIver Annabelle</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal methods: practical applications and foundations</atitle><jtitle>Formal methods in system design</jtitle><date>2021-01-01</date><risdate>2021</risdate><volume>58</volume><issue>1-2</issue><spage>1</spage><epage>4</epage><pages>1-4</pages><issn>0925-9856</issn><eissn>1572-8102</eissn><cop>New York</cop><pub>Springer Nature B.V</pub><doi>10.1007/s10703-021-00380-6</doi><tpages>4</tpages><oa>free_for_read</oa></addata></record>
fulltext	fulltext
identifier	ISSN: 0925-9856
ispartof	Formal methods in system design, 2021-01, Vol.58 (1-2), p.1-4
issn	0925-9856 1572-8102
language	eng
recordid	cdi_proquest_journals_2646969901
source	SpringerLink Journals - AutoHoldings
subjects	Formal method
title	Formal methods: practical applications and foundations
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T16%3A21%3A27IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formal%20methods:%20practical%20applications%20and%20foundations&rft.jtitle=Formal%20methods%20in%20system%20design&rft.au=ter%20Beek%20Maurice%20H&rft.date=2021-01-01&rft.volume=58&rft.issue=1-2&rft.spage=1&rft.epage=4&rft.pages=1-4&rft.issn=0925-9856&rft.eissn=1572-8102&rft_id=info:doi/10.1007/s10703-021-00380-6&rft_dat=%3Cproquest%3E2646969901%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2646969901&rft_id=info:pmid/&rfr_iscdi=true