Cita APA

Mansky, W., Honoré, W., & Appel, A. W. (2020). Connecting Higher-Order Separation Logic to a First-Order Outside World. Programming Languages and Systems.

Citación estilo Chicago

Mansky, William, Wolf Honoré, and Andrew W. Appel. "Connecting Higher-Order Separation Logic to a First-Order Outside World." Programming Languages and Systems 2020.

Cita MLA

Mansky, William, Wolf Honoré, and Andrew W. Appel. "Connecting Higher-Order Separation Logic to a First-Order Outside World." Programming Languages and Systems 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.