Gaya APA

Janhunen, E, O, A, T. (2009). A Translation-based Approach to the Verification of Modular Equivalence . : .

Gaya MLA

Janhunen, Emilia, Oikarinen, And, Tomi. "A Translation-based Approach to the Verification of Modular Equivalence ". : , 2009. Text.