Fabian Bannwart

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index