Cita APA

Martins, R. C. B., & Moura, A. V. (1988). Desenvolvimento sistemático de programas corretos: A abordagem denotacional. [UNICAMP].

Citación estilo Chicago

Martins, Raul César Baptista., and Arnaldo Vieira Moura. Desenvolvimento Sistemático De Programas Corretos: A Abordagem Denotacional. Campinas: [UNICAMP], 1988.

Cita MLA

Martins, Raul César Baptista., and Arnaldo Vieira Moura. Desenvolvimento Sistemático De Programas Corretos: A Abordagem Denotacional. Campinas: [UNICAMP], 1988.

Precaución: Estas citas no son 100% exactas.