{"id":"https://openalex.org/W2342075354","doi":"https://doi.org/10.1023/a:1008603628600","title":"Introduction to the Special Issue on Computer-Aided Verification (CAV93)","display_name":"Introduction to the Special Issue on Computer-Aided Verification (CAV93)","publication_year":1997,"publication_date":"1997-08-01","ids":{"openalex":"https://openalex.org/W2342075354","doi":"https://doi.org/10.1023/a:1008603628600","mag":"2342075354"},"language":"en","primary_location":{"id":"doi:10.1023/a:1008603628600","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008603628600","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005174253","display_name":"Costas Courcoubetis","orcid":"https://orcid.org/0000-0001-9568-0640"},"institutions":[{"id":"https://openalex.org/I8901234","display_name":"Foundation for Research and Technology Hellas","ror":"https://ror.org/052rphn09","country_code":"GR","type":"facility","lineage":["https://openalex.org/I8901234"]},{"id":"https://openalex.org/I142617266","display_name":"University of Crete","ror":"https://ror.org/00dr28g20","country_code":"GR","type":"education","lineage":["https://openalex.org/I142617266"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Costas Courcoubetis","raw_affiliation_strings":["Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, P.O. Box 1385, Heraklion Crete, Greece, 71110","Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, Heraklion Crete, Greece"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, P.O. Box 1385, Heraklion Crete, Greece, 71110","institution_ids":["https://openalex.org/I142617266"]},{"raw_affiliation_string":"Department of Computer Science, University of Crete, and Institute of Computer Science, FORTH, Heraklion Crete, Greece","institution_ids":["https://openalex.org/I142617266","https://openalex.org/I8901234"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5005174253"],"corresponding_institution_ids":["https://openalex.org/I142617266","https://openalex.org/I8901234"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.36200495,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":"2","first_page":"111","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.03959999978542328,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.03959999978542328,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.033399999141693115,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.029999999329447746,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.22694024443626404}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.22694024443626404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1008603628600","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008603628600","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1560522553","https://openalex.org/W3175260254","https://openalex.org/W1999511125","https://openalex.org/W2794332290","https://openalex.org/W1601945495","https://openalex.org/W3158474527","https://openalex.org/W1524588051","https://openalex.org/W3121252968","https://openalex.org/W2047577866","https://openalex.org/W2093272200","https://openalex.org/W1494643562","https://openalex.org/W3178413057","https://openalex.org/W2033696928","https://openalex.org/W2016568516","https://openalex.org/W2069650309","https://openalex.org/W2986746036","https://openalex.org/W2771000663","https://openalex.org/W1585441065","https://openalex.org/W2768268459","https://openalex.org/W1985844072"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2016-06-24T00:00:00"}