TY  - GEN

T1  - Using Abstraction in Model Checking Z Specifications

PY  - 2014/06/24

AU  - Siregar MU

AU  - Derrick

ED  - 

Y2  - 2026/01/25

ER  -