Satisfiability Modulo Theories 22nd International Workshop SMT 2024 Proceedings

Research output: Contribution to journal › Editorial

Original language	English
Journal	CEUR Workshop Proceedings
Volume	3725
State	Published - 2024
Event	22nd International Workshop on Satisfiability Modulo Theories, SMT 2024 - Montreal, Canada Duration: 22 Jul 2024 → 23 Jul 2024

All Science Journal Classification (ASJC) codes

@article{b658875f8ada468c9c2f483f673715b8,

title = "Satisfiability Modulo Theories 22nd International Workshop SMT 2024 Proceedings",

author = "Giles Reger and Yoni Zohar",

year = "2024",

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

volume = "3725",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "22nd International Workshop on Satisfiability Modulo Theories, SMT 2024 ; Conference date: 22-07-2024 Through 23-07-2024",

}

TY - JOUR

T1 - Satisfiability Modulo Theories 22nd International Workshop SMT 2024 Proceedings

AU - Reger, Giles

AU - Zohar, Yoni

PY - 2024

Y1 - 2024

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

M3 - كلمة العدد

SN - 1613-0073

VL - 3725

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 22nd International Workshop on Satisfiability Modulo Theories, SMT 2024

Y2 - 22 July 2024 through 23 July 2024

ER -