Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.