Specification‚ Implementation and Verification of Refactorings
Max Schäfer
Details
| Institution |
Oxford University Computing Laboratory |
| Year |
2010 |
Links
Related pages
|
People |
Max Schäfer
| Institution |
Oxford University Computing Laboratory |
| Year |
2010 |
|
People |