Citação norma APA

Queiroz, J. P. C. C. d. (2012). Um estudo sobre verificação formal de sistemas concorrentes.

Citação norma Chicago

Queiroz, João Paulo Carvalho Colu de. Um Estudo Sobre Verificação Formal De Sistemas Concorrentes. 2012.

Citação norma MLA

Queiroz, João Paulo Carvalho Colu de. Um Estudo Sobre Verificação Formal De Sistemas Concorrentes. 2012.

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