TY  - CONF

T1  - Z2SAL-Building a Model Checker for Z

JO  - ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS

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  - 2025/11/27

ER  -