Timely Specification Repair for Alloy 6

No Thumbnail Available
Files
P-00X-6YS.pdf (1.65 MB)
Date
2022
Authors
Cerqueira,J
Alcino Cunha
Nuno Moreira Macedo
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://dx.doi.org/10.1007/978-3-031-17108-6_18
 https://repositorio.inesctec.pt/handle/123456789/13463
Collections
HASLab - Indexed Articles in Conferences