Regular Repairs of Specifications
Michael Benedikt‚ Gabriele Puppis and Cristian Riveros
Journal
LICS'11: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science
Year
2011
Michael Benedikt‚ Gabriele Puppis and Cristian Riveros