TY  - JOUR

T1  - Z2SAL: a translation-based model checker for Z

JO  - Formal Aspects of Computing

PY  - 2009/01/01

AU  - Derrick J

AU  - North S

AU  - Simons AJH

ED  - 

SP  - 1

EP  - 29

Y2  - 2024/10/23

ER  -