Proceedings First Workshop on Applicable Formal Methods

Mario Gleirscher; Jaco van de Pol; Jim Woodcock

doi:10.4204/EPTCS.349

Proceedings First Workshop on Applicable Formal Methods

Mario Gleirscher, Jaco van de Pol, Jim Woodcock

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice.

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	349
DOIs	https://doi.org/10.4204/EPTCS.349
Publication status	Published - 15 Nov 2021

Keywords

cs.SE

Access to Document

10.4204/EPTCS.349Licence: CC BY

2111.07538v1

http://eptcs.web.cse.unsw.edu.au/content.cgi?AppFM2021

Cite this

@article{12b24dde1bb948a2994d1e011b495b3e,

title = "Proceedings First Workshop on Applicable Formal Methods",

abstract = "This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice. ",

keywords = "cs.SE",

author = "Mario Gleirscher and Pol, {Jaco van de} and Jim Woodcock",

year = "2021",

month = nov,

day = "15",

doi = "10.4204/EPTCS.349",

language = "English",

volume = "349",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Proceedings First Workshop on Applicable Formal Methods

AU - Gleirscher, Mario

AU - Pol, Jaco van de

AU - Woodcock, Jim

PY - 2021/11/15

Y1 - 2021/11/15

N2 - This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice.

AB - This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice.

KW - cs.SE

U2 - 10.4204/EPTCS.349

DO - 10.4204/EPTCS.349

M3 - Article

SN - 2075-2180

VL - 349

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -