TY  - GEN

T1  - Using Abstraction in Model Checking Z Specifications

PY  - 2014/06/24

AU  - Siregar MU

AU  - Derrick

ED  - 

Y2  - 2025/11/27

ER  -