Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/152792| Author(s): | Alexandre Almeida de Abreu Filho |
| Title: | Automatic Specification Repair in Contract Programming |
| Issue Date: | 2023-09-08 |
| Subject: | Engenharia electrotécnica, electrónica e informática Electrical engineering, Electronic engineering, Information engineering |
| Scientific areas: | Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática Engineering and technology::Electrical engineering, Electronic engineering, Information engineering |
| DOI: | 10.34626/r3t0-n352 |
| TID identifier: | 203421302 |
| URI: | https://hdl.handle.net/10216/152792 |
| Document Type: | Dissertação |
| Rights: | restrictedAccess |
| Appears in Collections: | FEUP - Dissertação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 641543.pdf | Automatic specification repair in contract programming | 642.25 kB | Adobe PDF |  View/Open |
| 641543.1.pdf Restricted Access | Timeline for Automatic Specification Repair in Contract Programming | 28.29 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.