Gaya APA

Mastroeni, R, G, A, I. (2010). A Proof System for Abstract Non-interference . : .

Gaya MLA

Mastroeni, Roberto, Giacobazzi, And, Isabella. "A Proof System for Abstract Non-interference". : , 2010. Text.