no image available Dickens & Co. "Chaining Together: Unshackling EventB with Relational Records" "Revamping Formal Methods for a Safer Software Engineering Future" Price: 26.00€