Proceedings First Workshop on Applicable Formal Methods

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Pol, Jaco van de and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Proceedings First Workshop on Applicable Formal Methods. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Abstract

Metadata

Item Type: Article
Authors/Creators:
Keywords: cs.SE
Dates:
  • Published: 15 November 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 22 Nov 2021 11:00
Last Modified: 22 Jan 2025 00:18
Published Version: https://doi.org/10.4204/EPTCS.349
Status: Published
Refereed: Yes
Identification Number: 10.4204/EPTCS.349
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

2111.07538v1

Filename: 2111.07538v1.pdf

Description: 2111.07538v1

CLICK TO DOWNLOAD [thumbnail of 2111.07538v1]

Export

Statistics


CORE (COnnecting REpositories)