TY  - CONF

T1  - Z2SAL-Building a Model Checker for Z

JO  - ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS

UR  - https://eprints.whiterose.ac.uk/78798/

PY  - 2008/11/27

AU  - Derrick J

AU  - North S

AU  - Simons AJH

ED  - Borger E

ED  - Butler M

ED  - Bowen JP

ED  - Boca P

VL  - 5238

SP  - 280

EP  - 293

Y2  - 2024/12/22

ER  -