Changing Programs Correctly: Refactoring with Specifications

FM 2006: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/11813040_33 ◽

2006 ◽

pp. 492-507 ◽

Cited By ~ 11

Author(s):

Fabian Bannwart ◽

Peter Müller

Download Full-text