The publisher of this work supports multiple
resolution. The work is available from the following locations:
debug
{'doi': '10.1049/ic:19950705', 'member_id': '265', 'member': 'IEE', 'container-title': "IEE Colloquium on `Practical Application of Formal Methods'", 'primary-resource': 'https://digital-library.theiet.org/content/conferences/10.1049/ic_19950705', 'tld': 'theiet.org', 'clearbit-logo': 'https://logo.clearbit.com/theiet.org', 'coaccess': [], 'multiple-resolution': [{'url': 'http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=477884', 'tld': 'ieee.org', 'clearbit-logo': 'https://logo.clearbit.com/ieee.org'}], 'type': 'PROCEEDINGS ARTICLE', 'published_date': '1995', 'publication': "IEE Colloquium on `Practical Application of Formal Methods'", 'title': 'Use of a functional programming language for formal specification', 'name': None, 'id': None, 'location': None, 'display_doi': 'https://doi.org/10.1049/ic:19950705', 'grant_info': None, 'grant_info_funders': None, 'grant_info_funder_ids': '', 'grant_info_type': None, 'multiple_lead_investigators': [], 'multiple_co_lead_investigators': [], 'multiple_investigators': [], 'finances': [], 'project_description': None, 'award_amount': None, 'award_start': None, 'funding_scheme': None, 'internal_award_number': None, 'editors': None, 'authors': 'J. Butler', 'chairs': None, 'supplementary_ids': None}
https://doi.org/10.1049/ic:19950705
JSON
XML