TY  - GEN

T1  - Using Abstraction in Model Checking Z Specifications

PY  - -0001/11/30

AU  - Siregar MU

AU  - Derrick J

ED  - 

Y2  - 2024/12/22

ER  -