{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:WIETSKWV5ZJOFX5AF5YKPNSERP","short_pith_number":"pith:WIETSKWV","schema_version":"1.0","canonical_sha256":"b209392ad5ee52e2dfa02f70a7b6448bc99d58ea3214f7a2bdb1c46e46f7b3ef","source":{"kind":"arxiv","id":"1302.4780","version":1},"attestation_state":"computed","paper":{"title":"Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Barbora Buhnova, Jan Kofro\\v{n}, Lucia Happe","submitted_at":"2013-02-20T00:34:13Z","abstract_excerpt":"These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'13). \n  The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefit"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1302.4780","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-02-20T00:34:13Z","cross_cats_sorted":[],"title_canon_sha256":"415a56f757b901c19d87e0424cc511cc9943c76ee440cecfa8b85db96eb5f18b","abstract_canon_sha256":"d17aa9c43618493441d5239d7fddcb6922d405a6d0b568d9d914a7124abda84f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:11.064090Z","signature_b64":"JQSchPJ1/SqHEhwYm8Z4GZohvl97Iapk1sR72Ede+Vm8KiMfhbD6z205S+fbVF8/+ikpIk68anuhFt8f/D8VDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b209392ad5ee52e2dfa02f70a7b6448bc99d58ea3214f7a2bdb1c46e46f7b3ef","last_reissued_at":"2026-05-18T03:33:11.063241Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:11.063241Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Barbora Buhnova, Jan Kofro\\v{n}, Lucia Happe","submitted_at":"2013-02-20T00:34:13Z","abstract_excerpt":"These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'13). \n  The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4780","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1302.4780","created_at":"2026-05-18T03:33:11.063384+00:00"},{"alias_kind":"arxiv_version","alias_value":"1302.4780v1","created_at":"2026-05-18T03:33:11.063384+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4780","created_at":"2026-05-18T03:33:11.063384+00:00"},{"alias_kind":"pith_short_12","alias_value":"WIETSKWV5ZJO","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_16","alias_value":"WIETSKWV5ZJOFX5A","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_8","alias_value":"WIETSKWV","created_at":"2026-05-18T12:28:04.890932+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP","json":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP.json","graph_json":"https://pith.science/api/pith-number/WIETSKWV5ZJOFX5AF5YKPNSERP/graph.json","events_json":"https://pith.science/api/pith-number/WIETSKWV5ZJOFX5AF5YKPNSERP/events.json","paper":"https://pith.science/paper/WIETSKWV"},"agent_actions":{"view_html":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP","download_json":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP.json","view_paper":"https://pith.science/paper/WIETSKWV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1302.4780&json=true","fetch_graph":"https://pith.science/api/pith-number/WIETSKWV5ZJOFX5AF5YKPNSERP/graph.json","fetch_events":"https://pith.science/api/pith-number/WIETSKWV5ZJOFX5AF5YKPNSERP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP/action/storage_attestation","attest_author":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP/action/author_attestation","sign_citation":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP/action/citation_signature","submit_replication":"https://pith.science/pith/WIETSKWV5ZJOFX5AF5YKPNSERP/action/replication_record"}},"created_at":"2026-05-18T03:33:11.063384+00:00","updated_at":"2026-05-18T03:33:11.063384+00:00"}