TY - BOOK ID - 142942749 TI - Theories of Programming and Formal Methods AU - Bowen, Jonathan P AU - Li, Qin AU - Xu, Qiwen AU - SpringerLink (Online service) PY - 2023 SN - 9783031404368 PB - Cham Springer Nature Switzerland :Imprint: Springer DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:142942749 AB - ER -