Miraldo, V. C., Frade, M. J., Lourenço, C., & Pinto, J. S. (2013). Experimenting with predicate abstraction.
Citação do estilo Chicago (17ª ed.)Miraldo, Victor Cacciari, M. J. Frade, Cláudio Lourenço, e Jorge Sousa Pinto. Experimenting with Predicate Abstraction. 2013.
Citação MLA (8ª ed.)Miraldo, Victor Cacciari, et al. Experimenting with Predicate Abstraction. 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.