Timely Specification Repair for Alloy 6

dc.contributor.author Cerqueira,J en
dc.contributor.author Alcino Cunha en
dc.contributor.author Nuno Moreira Macedo en
dc.contributor.other 5625 en
dc.contributor.other 5612 en
dc.date.accessioned 2023-01-13T10:19:51Z
dc.date.available 2023-01-13T10:19:51Z
dc.date.issued 2022 en
dc.description.abstract en
dc.identifier P-00X-6YS en
dc.identifier.uri http://dx.doi.org/10.1007/978-3-031-17108-6_18 en
dc.identifier.uri https://repositorio.inesctec.pt/handle/123456789/13463
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Timely Specification Repair for Alloy 6 en
dc.type en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
P-00X-6YS.pdf
Size:
1.65 MB
Format:
Adobe Portable Document Format
Description: