Regular repair of specifications (26th Annual IEEE Symposium on Logic in Computer Science (LICS), 2011)

(untitled) - Benedikt, M; Puppis, G; Riveros, C