Preface: Proceedings First Workshop on Applicable Formal Methods

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

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	349
Publication status	Published - 16 Nov 2021
Event	1st Workshop on Applicable Formal Methods, AppFM 2021 - Virtual, Online Duration: 23 Nov 2021 → …

Access to Document

@article{e475506dc6db43019e42bab8b3d25453,

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

author = "Mario Gleirscher and {Van De Pol}, Jaco and Jim Woodcock",

year = "2021",

month = nov,

day = "16",

language = "English",

volume = "349",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "1st Workshop on Applicable Formal Methods, AppFM 2021 ; Conference date: 23-11-2021",

}

TY - JOUR

T1 - Preface

T2 - 1st Workshop on Applicable Formal Methods, AppFM 2021

AU - Gleirscher, Mario

AU - Van De Pol, Jaco

AU - Woodcock, Jim

PY - 2021/11/16

Y1 - 2021/11/16

UR - http://www.scopus.com/inward/record.url?scp=85120161703&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:85120161703

SN - 2075-2180

VL - 349

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 23 November 2021

ER -