| 2006 | ||
|---|---|---|
| 2 | Fabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507 | |
| 2005 | ||
| 1 | Fabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005) | |
| 1 | Peter Müller | [1] [2] |