Gaya APA

Méry, D, G, A, D. (2010). Tableaux and Resource Graphs for Separation Logic . : .

Gaya MLA

Méry, Didier, Galmiche, And, Daniel. "Tableaux and Resource Graphs for Separation Logic". : , 2010. Text.