Kersten, T. (1998). Verifizierende rechnerinvariante Numerikmodule. s.n.].
Dyfyniad Arddull ChicagoKersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. [S.l.: s.n.], 1998.
Dyfyniad MLAKersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. s.n.], 1998.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.