Verification
Javier Esparza
Technische Universität München, GermanyOrna Kupferman
Hebrew University, Jerusalem, IsraelMoshe Y. Vardi
Rice University, Houston, USA
![Verification cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fbooks%2Fcover-175.png&w=3840&q=90)
Download Chapter PDF
A subscription is required to access this book chapter.
A subscription is required to access this book chapter.