Preface of the special issue on the conference on computer-aided verification 2018

Hana Chockler, Georg Weissenbacher^*

^*Corresponding author for this work

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

Original language	English
Journal	FORMAL METHODS IN SYSTEM DESIGN
Volume	57
Issue number	1
DOIs	https://doi.org/10.1007/s10703-021-00365-5
Publication status	Published - Jul 2021

Access to Document

@article{a37b3587da3b41d391ede8447e3823cf,

title = "Preface of the special issue on the conference on computer-aided verification 2018",

author = "Hana Chockler and Georg Weissenbacher",

year = "2021",

month = jul,

doi = "10.1007/s10703-021-00365-5",

language = "English",

volume = "57",

journal = "FORMAL METHODS IN SYSTEM DESIGN",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Preface of the special issue on the conference on computer-aided verification 2018

AU - Chockler, Hana

AU - Weissenbacher, Georg

PY - 2021/7

Y1 - 2021/7

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

U2 - 10.1007/s10703-021-00365-5

DO - 10.1007/s10703-021-00365-5

M3 - Editorial

AN - SCOPUS:85105387237

SN - 0925-9856

VL - 57

JO - FORMAL METHODS IN SYSTEM DESIGN

JF - FORMAL METHODS IN SYSTEM DESIGN

IS - 1

ER -