Regular repair of specifications
Michael Benedikt‚ Gabriele Puppis and Cristian Riveros
Journal
26th Annual IEEE Symposium on Logic in Computer Science (LICS)
Location
Toronto‚ Canada
Month
June
Year
2011
Michael Benedikt‚ Gabriele Puppis and Cristian Riveros