Fabian Bannwart

List of publications from the DBLP Bibliography Server - FAQ

2006

2 EE Fabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507

2005

1 EE Fabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005)

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

Coauthor Index