J G Hall, J A McDermid
Research output: Working paper
}
TY - UNPB
T1 - Libraries of Algebraically Specified Datatypes in Z
AU - Hall, J G
AU - McDermid, J A
PY - 1994
Y1 - 1994
M3 - Working paper
BT - Libraries of Algebraically Specified Datatypes in Z
ER -