Preface of the special issue on the Conference on Computer-Aided Verification 2022

Research output: Contribution to journal › Editorial

Original language	English
Journal	Formal Methods in System Design
DOIs	https://doi.org/10.1007/s10703-025-00475-4
State	Accepted/In press - 2025

All Science Journal Classification (ASJC) codes

@article{043380b95c4c4c93b7cc6e59a2f07279,

title = "Preface of the special issue on the Conference on Computer-Aided Verification 2022",

author = "Sharon Shoham and Yakir Vizel",

year = "2025",

doi = "10.1007/s10703-025-00475-4",

language = "الإنجليزيّة",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Preface of the special issue on the Conference on Computer-Aided Verification 2022

AU - Shoham, Sharon

AU - Vizel, Yakir

PY - 2025

Y1 - 2025

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

U2 - 10.1007/s10703-025-00475-4

DO - 10.1007/s10703-025-00475-4

M3 - كلمة العدد

SN - 0925-9856

JO - Formal Methods in System Design

JF - Formal Methods in System Design

ER -