Citazione APA

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

Stile di citazione Chicago

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

Citazione MLA

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.