Citação norma APA

Pedro, A. M. (2018). Dynamic contracts for verification and enforcement of real-time systems properties.

Citação norma Chicago

Pedro, André Matos. Dynamic Contracts for Verification and Enforcement of Real-time Systems Properties. 2018.

Citação norma MLA

Pedro, André Matos. Dynamic Contracts for Verification and Enforcement of Real-time Systems Properties. 2018.

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