Browsing by Author André de Matos Pedro
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2018-04-10 | Dynamic contracts for verification and enforcement of real-time systems properties | André de Matos Pedro | Tese |
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2018-04-10 | Dynamic contracts for verification and enforcement of real-time systems properties | André de Matos Pedro | Tese |