TY - BOOK ID - 142942163 TI - Formal Methods AU - Chechik, Marsha AU - Katoen, Joost-Pieter AU - Leucker, Martin AU - SpringerLink (Online service) PY - 2023 SN - 9783031274817 PB - Cham Springer International Publishing :Imprint: Springer DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:142942163 AB - ER -