Citazioni del record
Citazione Stile APA (7a Edizione)
Atkey, R. (2011). Amortised Resource Analysis with Separation Logic. Logical Methods in Computer Science e.V.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Citazione stile Chigago Style (17a edizione)
Atkey, Robert. Amortised Resource Analysis with Separation Logic. Logical Methods in Computer Science e.V, 2011.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Citatione MLA (9a ed.)
Atkey, Robert. Amortised Resource Analysis with Separation Logic. Logical Methods in Computer Science e.V, 2011.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Attenzione: Queste citazioni potrebbero non essere precise al 100%.