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