Forejt, V., Kroening, D., Narayanswamy, G., & Sharma, S. (2014). Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing.
Citação do estilo Chicago (17ª ed.)Forejt, V., D. Kroening, G. Narayanswamy, e S. Sharma. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.
Citação MLA (9ª ed.)Forejt, V., et al. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.