Bowen, J. (2003). Formal Speciï¬cation and Documentation using Z: A Case Study Approach. [k.x.đ]: [k.x.đ].
Dyfyniad Arddull ChicagoBowen, Jonathan. Formal Speciï¬cation and Documentation Using Z: A Case Study Approach. [k.x.đ]: [k.x.đ], 2003.
Dyfyniad MLABowen, Jonathan. Formal Speciï¬cation and Documentation Using Z: A Case Study Approach. [k.x.đ]: [k.x.đ], 2003.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.