APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.