Dyfyniad APA

Rittri, M. (1990). Searching program libraries by type and proving compiler correctness by bisimulation. Univ..

Dyfyniad Arddull Chicago

Rittri, Mikael. Searching Program Libraries by Type and Proving Compiler Correctness by Bisimulation. Göteborg: Univ., 1990.

Dyfyniad MLA

Rittri, Mikael. Searching Program Libraries by Type and Proving Compiler Correctness by Bisimulation. Univ., 1990.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.