Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)

Saved in:
Bibliographic Details
Published in:Science of computer programming 2022-06, Vol.218, p.102803, Article 102803
Main Authors: Proença, José, Lumpe, Markus
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page 102803
container_title Science of computer programming
container_volume 218
creator Proença, José
Lumpe, Markus
description
doi_str_mv 10.1016/j.scico.2022.102803
format article
fullrecord <record><control><sourceid>elsevier_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1016_j_scico_2022_102803</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0167642322000363</els_id><sourcerecordid>S0167642322000363</sourcerecordid><originalsourceid>FETCH-LOGICAL-c168t-be88fc217c30e5079a299b0c7d42165cecfa3391eb47df17e7e0fcf4b60b5233</originalsourceid><addsrcrecordid>eNp9kD9PwzAQxS0EEqXwCVg8wpDiP2mcDAxVRKFSJYZ2txznrLpq7cg2IMSXx2mZmU56935Pdw-he0pmlNDqaT-L2mo_Y4SxrLCa8As0obVghWiq8hJNsksUVcn4NbqJcU8IqUpBJ-hnM4C26oBtjB-AvcMRDqAT9HhQA4SITfBHnHaAaZl2eOUSBKeS9S5DrXcGAjh9Ipc-HLO4iDkyRexN3h8H78AlvPEmfakA-GG5aDeYESoeb9GVUYcId39zirbLl237VqzfX1ftYl1oWtWp6KCujWZUaE5gTkSjWNN0RIu-ZLSaa9BGcd5Q6ErRGypAADHalF1FujnjfIr4OVYHH2MAI4dgjyp8S0rkWJ_cy1N9cqxPnuvL1POZgnzZp4UwesZPexvye7L39l_-F5rBeg0</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)</title><source>ScienceDirect Freedom Collection</source><creator>Proença, José ; Lumpe, Markus</creator><contributor>Lumpe, Markus ; Proença, José</contributor><creatorcontrib>Proença, José ; Lumpe, Markus ; Lumpe, Markus ; Proença, José</creatorcontrib><identifier>ISSN: 0167-6423</identifier><identifier>EISSN: 1872-7964</identifier><identifier>DOI: 10.1016/j.scico.2022.102803</identifier><language>eng</language><publisher>Elsevier B.V</publisher><ispartof>Science of computer programming, 2022-06, Vol.218, p.102803, Article 102803</ispartof><rights>2022 Elsevier B.V.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27923,27924</link.rule.ids></links><search><contributor>Lumpe, Markus</contributor><contributor>Proença, José</contributor><creatorcontrib>Proença, José</creatorcontrib><creatorcontrib>Lumpe, Markus</creatorcontrib><title>Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)</title><title>Science of computer programming</title><issn>0167-6423</issn><issn>1872-7964</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><recordid>eNp9kD9PwzAQxS0EEqXwCVg8wpDiP2mcDAxVRKFSJYZ2txznrLpq7cg2IMSXx2mZmU56935Pdw-he0pmlNDqaT-L2mo_Y4SxrLCa8As0obVghWiq8hJNsksUVcn4NbqJcU8IqUpBJ-hnM4C26oBtjB-AvcMRDqAT9HhQA4SITfBHnHaAaZl2eOUSBKeS9S5DrXcGAjh9Ipc-HLO4iDkyRexN3h8H78AlvPEmfakA-GG5aDeYESoeb9GVUYcId39zirbLl237VqzfX1ftYl1oWtWp6KCujWZUaE5gTkSjWNN0RIu-ZLSaa9BGcd5Q6ErRGypAADHalF1FujnjfIr4OVYHH2MAI4dgjyp8S0rkWJ_cy1N9cqxPnuvL1POZgnzZp4UwesZPexvye7L39l_-F5rBeg0</recordid><startdate>20220601</startdate><enddate>20220601</enddate><creator>Proença, José</creator><creator>Lumpe, Markus</creator><general>Elsevier B.V</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20220601</creationdate><title>Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)</title><author>Proença, José ; Lumpe, Markus</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c168t-be88fc217c30e5079a299b0c7d42165cecfa3391eb47df17e7e0fcf4b60b5233</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Proença, José</creatorcontrib><creatorcontrib>Lumpe, Markus</creatorcontrib><collection>CrossRef</collection><jtitle>Science of computer programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Proença, José</au><au>Lumpe, Markus</au><au>Lumpe, Markus</au><au>Proença, José</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)</atitle><jtitle>Science of computer programming</jtitle><date>2022-06-01</date><risdate>2022</risdate><volume>218</volume><spage>102803</spage><pages>102803-</pages><artnum>102803</artnum><issn>0167-6423</issn><eissn>1872-7964</eissn><pub>Elsevier B.V</pub><doi>10.1016/j.scico.2022.102803</doi></addata></record>
fulltext fulltext
identifier ISSN: 0167-6423
ispartof Science of computer programming, 2022-06, Vol.218, p.102803, Article 102803
issn 0167-6423
1872-7964
language eng
recordid cdi_crossref_primary_10_1016_j_scico_2022_102803
source ScienceDirect Freedom Collection
title Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-10T11%3A04%3A38IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-elsevier_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Special%20issue%20on%20selected%20papers%20from%20the%2014th%20International%20Conference%20on%20Formal%20Aspects%20of%20Component%20Software%20(FACS%202017)&rft.jtitle=Science%20of%20computer%20programming&rft.au=Proen%C3%A7a,%20Jos%C3%A9&rft.date=2022-06-01&rft.volume=218&rft.spage=102803&rft.pages=102803-&rft.artnum=102803&rft.issn=0167-6423&rft.eissn=1872-7964&rft_id=info:doi/10.1016/j.scico.2022.102803&rft_dat=%3Celsevier_cross%3ES0167642322000363%3C/elsevier_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c168t-be88fc217c30e5079a299b0c7d42165cecfa3391eb47df17e7e0fcf4b60b5233%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true