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