Preface for the formal methods in system design special issue on ‘Formal Methods 2021’

Marieke Huisman; Corina S. Păsăreanu; Naijun Zhan

doi:10.1007/s10703-023-00438-7

Preface for the formal methods in system design special issue on ‘Formal Methods 2021’

Marieke Huisman^*, Corina S. Păsăreanu, Naijun Zhan

^*Corresponding author for this work

Research output: Contribution to journal › Editorial › Academic

15 Downloads (Pure)

Original language	English
Pages (from-to)	1-2
Number of pages	2
Journal	Formal methods in system design
Volume	61
DOIs	https://doi.org/10.1007/s10703-023-00438-7
Publication status	Published - 2 Oct 2023

Keywords

n/a OA procedure

Access to Document

10.1007/s10703-023-00438-7

Cite this

@article{1950c5463a4c4bbd9ee8ebe0c52b81bb,

title = "Preface for the formal methods in system design special issue on {\textquoteleft}Formal Methods 2021{\textquoteright}",

keywords = "n/a OA procedure",

author = "Marieke Huisman and P{\u a}s{\u a}reanu, {Corina S.} and Naijun Zhan",

year = "2023",

month = oct,

day = "2",

doi = "10.1007/s10703-023-00438-7",

language = "English",

volume = "61",

pages = "1--2",

journal = "Formal methods in system design",

issn = "0925-9856",

publisher = "Springer",

}

TY - JOUR

T1 - Preface for the formal methods in system design special issue on ‘Formal Methods 2021’

AU - Huisman, Marieke

AU - Păsăreanu, Corina S.

AU - Zhan, Naijun

PY - 2023/10/2

Y1 - 2023/10/2

KW - n/a OA procedure

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

U2 - 10.1007/s10703-023-00438-7

DO - 10.1007/s10703-023-00438-7

M3 - Editorial

AN - SCOPUS:85173127174

SN - 0925-9856

VL - 61

SP - 1

EP - 2

JO - Formal methods in system design

JF - Formal methods in system design

ER -

Preface for the formal methods in system design special issue on ‘Formal Methods 2021’

Keywords

Access to Document

Other files and links

Cite this