{"id":"https://openalex.org/W2914723290","doi":null,"title":"B method","display_name":"B method","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2914723290","mag":"2914723290"},"language":"en","primary_location":{"id":"mag:2914723290","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=2168170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"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/A5007751056","display_name":"Dominique Cansell","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dominique Cansell","raw_affiliation_strings":["No institute given#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"No institute given#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5007751056"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0462,"has_fulltext":false,"cited_by_count":52,"citation_normalized_percentile":{"value":0.84567901,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"142","last_page":"150"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6538000106811523,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6538000106811523,"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/T10126","display_name":"Logic, programming, and type systems","score":0.21080000698566437,"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/T13806","display_name":"Mathematical and Computational Methods","score":0.0071000000461936,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/b-method","display_name":"B method","score":0.8370000123977661},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.7020000219345093},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.5550000071525574},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"temporal logic","score":0.43799999356269836},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.35899999737739563}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35268324613571167}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2914723290","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=2168170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2972882778","https://openalex.org/W3004720445","https://openalex.org/W7012000369","https://openalex.org/W6959552633"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":12},{"year":2012,"cited_by_count":9}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2019-02-21T00:00:00"}