Miraldo, V. C. (2014). Experimenting with Predicate Abstraction.
Citação do estilo Chicago (17ª ed.)Miraldo, Victor Cacciari. Experimenting with Predicate Abstraction. 2014.
Citação MLA (8ª ed.)Miraldo, Victor Cacciari. Experimenting with Predicate Abstraction. 2014.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.