Citação norma APA

Klemen, M., Stulova, N., López García, P., Morales Caballero, J. F., & Hermenegildo, M. V. (2018). An approach to static performance guarantees for pograms with run-time checks.

Citação norma Chicago

Klemen, Maximiliano, Nataliia Stulova, Pedro López García, José Francisco Morales Caballero, e Manuel V.|||0000-0002-7583-323X Hermenegildo. An Approach to Static Performance Guarantees for Pograms With Run-time Checks. 2018.

Citação norma MLA

Klemen, Maximiliano, et al. An Approach to Static Performance Guarantees for Pograms With Run-time Checks. 2018.

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